Department of Mathematics, Statistics
and Computer Science
Wim Ruitenburg's Fall 2003 Logic Seminar page
This is the home page for the Marquette MSCS Logic Seminar
- The Logic Seminar usually meets on Thursdays at 1 PM or at 5:15 PM
- We usually meet in room CU 401, or somewhere else
- 20 November 2003, 1 PM, Wim Ruitenburg will talk about
Hereditarily indecomposable first-order mayhem
- 14 November 2003, no seminar, but departmental colloquium, 4PM,
Kenneth Kunen will talk about
The Complex Stone-Weierstrass Property (CSWP)
- 6 November 2003, 1 PM, Paul Bankston will talk about
First order sentences that hold for all lattice bases of a compact
Hausdorff space
- 30 October 2003, no seminar (Halloween)
- 21 October 2003, no seminar, but Southern Wisconsin Logic Colloquium,
Madison, 4:30 PM, Van Vleck Hall 9th floor, Wim Ruitenburg will talk
about
Eliminating quantifiers for intuitionistic theories
- 16 October 2003, 5:15 PM, Paul Bankston will talk about
Graphs and 2-dominance
- 9 October 2003, 5:15 PM, Wim Ruitenburg will talk about
An example of intuitionism and quantifier elimination
- 2 October 2003, 5:15 PM, Paul Bankston will talk about
Examples of coexistential maps, part 2
- 25 September 2003, 5:15 PM, Paul Bankston will talk about
Examples of coexistential maps
- 18 September 2003, no seminar, but Southern Wisconsin Logic Colloquium,
Madison, 1:15 PM, Van Vleck Hall 9th floor, Brian McMaster will talk
about
Dense normality and powers of the Sorgenfrey line
Last updated: November 2003
Comments & suggestions:
wimr@mscs.mu.edu