Department of Mathematics, Statistics
and Computer Science
Wim Ruitenburg's Fall 2005 Logic Seminar page
This is the home page for the Marquette MSCS Logic Seminar
- The Logic Seminar usually meets on Wednesdays at 4 PM
- We usually meet in room CU 401, unless we don't
- December 7: Wim Ruitenburg will talk about
Things we should already have known about distributive lattices, part 3.
- November 30: Wim Ruitenburg will talk about
Things we should already have known about distributive lattices, part 2.
- November 23: Thanksgiving holiday
- November 16: Wim Ruitenburg will talk about
Things we should already have known about distributive lattices.
- November 9: Paul Bankston will talk about
Lattice-defined topological properties, part 2.
- November 4 (note different day): Tom Drucker will talk about
Ordinal Virtues--The Axiomatization of the Ordinal Numbers.
- October 26: Paul Bankston will talk about
Lattice-defined topological properties.
- October 12: Wim Ruitenburg will talk about
The algebra of Heyting algebra, part 2.
- October 5: Wim Ruitenburg will talk about
The algebra of Heyting algebra.
- September 28: Paul Bankston will talk about
An Introduction to Nonstandard Analysis, part 3.
- September 21: Paul Bankston will talk about
An Introduction to Nonstandard Analysis, part 2.
- September 14: Paul Bankston will talk about
An Introduction to Nonstandard Analysis.
- September 7: Wim Ruitenburg will talk about
Ordinal Categoricity.
- May 06 (Two talks, note venue and times): 5pm, Williams Hall, UW-Rock
County, Janesville, Wim Ruitenburg will talk on Intuitionistic
Quantifier Elimination Made Easy. 6pm, Mocha Moment, 1121 Center
Ave., Janesville, Tom Drucker, of UW-Whitewater, will talk on
Serendipity in the History of Logic.
Last updated: December 2005
Comments & suggestions:
wimr@mscs.mu.edu