Marquette University

This is the home page for the Marquette MSCS Logic Seminar

2 May 2003, 5:15 PM, Wim Ruitenburg will talk about Classical and Kripke model theory of geometric logic
25 April 2003, no seminar, but departmental colloquium, 4PM, Wim Blok will talk about Residuation in ordered algebras: Origins and a result
18 April 2003, no seminar (Easter)
11 April 2003, no seminar (No seminar because of illness)
4 April 2003, no seminar (other commitments, this day)
28 March 2003, no seminar, but Madison Math Colloquium, 4PM, Van Vleck Hall B239, Angus Macintyre will talk about Logic of the classical exponential functions: real, complex and p-adic
21 March 2003, 5:15 PM, Paul Bankston will talk about Toward a first order lattice definition of multicoherence degree in continua
14 March 2003, no seminar (Spring Break)
7 March 2003, 5:15 PM, Wim Ruitenburg will talk about Basic realizability
28 February 2003, 5:15 PM, Roman Zrotowski will talk about Generators for the group of automorphisms of the ring of polynomials in n variables over Z_2
21 February 2003, no seminar, but departmental colloquium, 4PM, Roman Zrotowski will talk about Algebraic interpretation of the set of bijections on sets of sizes 2, 4, 8, 16,...
14 February 2003, 5:15 PM, Wim Ruitenburg will talk about Intuitionistic theories determined by their Kripke model node structures

Last updated: April 2003
Comments & suggestions: wimr@mscs.mu.edu