Department of Mathematics, Statistics
and Computer Science
Paul Bankston's Logic Seminar Page, Spring 2005
This is the home page for the Marquette MSCS Logic Seminar.
We usually meet at 3pm on Fridays in Cudahy 401.
- 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.
- April 01: Wim Ruitenburg will continue on the topic of
Rich Kripke Models for Poor Intuitionistic Quantifier Elimination.
- March 18: Wim Ruitenburg will talk about
Rich Kripke Models for Poor Intuitionistic Quantifier Elimination.
- March 04: Paul Bankston will present a proof of the
Elasticity Theorem.
- February 25: Paul Bankston will finish up talking
on Categoricity in Compact Hausdorff Spaces.
- February 18: Paul Bankston will begin a series of two talks
on Categoricity in Compact Hausdorff Spaces.
Last updated: December, 2004
Comments & suggestions:
paulb@mscs.mu.edu