Marquette University

This is the home page for the Marquette MSCS Logic Seminar

3 May 2002, 5 PM, Wim Ruitenburg will talk about More very intuitionistic theories satisfying quantifier elimination
26 April 2002, 5 PM, Roman Zrotowski will talk about Composition of functions, an example
19 April 2002, 5 PM, no seminar
12 April 2002, 5 PM, no seminar
5 April 2002, 5 PM, Wim Ruitenburg will talk about Very intuitionistic theories satisfying quantifier elimination
29 March 2002, 5 PM, no seminar (Easter)
22 March 2002, 5 PM, no seminar
15 March 2002, 5 PM, no seminar (Spring break)
8 March 2002, 5 PM, no seminar
1 March 2002, 5 PM, no seminar
(Note day and time) 21 February 2002, 4 PM, Paul Bankston will talk about Lattice axioms for compacta, part 2
15 February 2002, 5 PM, Paul Bankston will talk about Lattice axioms for compacta
8 February 2002, 5 PM, Wim Ruitenburg will talk about A little bit of arithmetic, part 2
1 February 2002, 5 PM, Wim Ruitenburg will talk about A little bit of arithmetic

7 December 2001, 5 PM, Roman Zrotowski will talk about The reflection properties of cardinals, part 2
30 November 2001, 5 PM, no seminar
23 November 2001, 5 PM, thanksgiving
16 November 2001, 5 PM, Roman Zrotowski will talk about The reflection properties of cardinals
9 November 2001, 5 PM, no seminar
2 November 2001, 5 PM, Wim Ruitenburg will talk about The geometry of logic, part 2
26 October 2001, 5 PM, Wim Ruitenburg will talk about The geometry of logic
19 October 2001, 5 PM, no classes
12 October 2001, 5 PM, Paul Bankston will talk about The logic of big and green, part 3
5 October 2001, 5 PM, Paul Bankston will talk about The logic of big and green, part 2
28 September 2001, 5 PM, Paul Bankston will talk about The logic of big and green
21 September 2001, 5 PM, Roman Zrotowski will talk about Composition of functions of several variables, part 2
14 September 2001, 3 PM, Roman Zrotowski will talk about Composition of functions of several variables

Last updated: May 2002
Comments & suggestions: wimr@mscs.mu.edu