Department of Mathematics, Statistics
and Computer Science
Wim Ruitenburg's Spring 2004 Logic Seminar page
This is the home page for the Marquette MSCS Logic Seminar
- The Logic Seminar usually meets on Thursdays at 5 PM
- We usually meet in room CU 401, unless we don't
- 29 April 2004, 2 PM, Paul Bankston and Wim Ruitenburg
will discuss
Chainability and Hemmingsen's Theorem
- 22 April 2004, no seminar (conference elsewhere)
- 15 April 2004, 12 PM, Wim Ruitenburg will talk about
A construction method for intuitionistic theories satisfying quantifier
elimination
- 8 April 2004, no seminar (Easter Break)
- 1 April 2004, 5:30 PM, Paul Bankston will talk about
Chainability and Hemmingsen's Theorem, part 2
- 25 March 2004, no seminar (conference elsewhere)
- 18 March 2004, 5 PM, Paul Bankston will talk about
Chainability and Hemmingsen's Theorem
- 11 March 2004, no seminar (Spring Break)
- 2 March 2004, no seminar, but Southern Wisconsin Logic Colloquium,
Madison, 3:30 PM, Van Vleck Hall 9th floor, Paul Bankston will talk
about Graphs, dendrites, and 2-dominance, followed by Alf
Dolich, who will talk about
Axiomatizing uncountably categorical and totally categorical theories
- 26 February 2004, 5 PM, Wim Ruitenburg will talk about
Chainability and the first-order theory of lattices, or so
- 19 February 2004, 5 PM, Wim Ruitenburg will talk about
Chainability and the first-order theory of lattices
- 20 November 2003, 1 PM, Wim Ruitenburg will talk about
Hereditarily indecomposable first-order mayhem
Last updated: April 2004
Comments & suggestions:
wimr@mscs.mu.edu