Marquette University

Department of Mathematics, Statistics and Computer Science

Wim Ruitenburg's Fall 2005 Logic Seminar page

This is the home page for the Marquette MSCS Logic Seminar

The Logic Seminar usually meets on Wednesdays at 4:25 PM
We usually meet in room CU 401, unless we don't

April 26: Paul Bankston will talk about Existentially closed for the topologist.
April 19: Wim Ruitenburg will talk about Being existentially closed, part 2.
April 12: Wim Ruitenburg will talk about Being existentially closed.
April 5: Paul Bankston will talk about Identifying a Topological Graph using First-order Lattice Properties, part 2.
March 22: Wim Ruitenburg will talk about Quantifier elimination for a very very intuitionistic theory.
March 8, about 5 PM, McGraw 121 on the Whitewater campus (note different time, day, and place): Tom Drucker will talk about Mathematical Logic and Ideology in Nazi Germany.
March 8, about 4 PM, McGraw 121 on the Whitewater campus (note different time, day, and place): Paul Bankston will talk about Identifying a Topological Graph using First-order Lattice Properties.
March 1: Wim Ruitenburg will talk about Standard applications of model completeness, part 2.
February 22: Wim Ruitenburg will talk about Standard applications of model completeness.
February 8: Paul Bankston will talk about First-order topological properties related to unicoherence, part 2.
February 1: Paul Bankston will talk about First-order topological properties related to unicoherence.
December 7: Wim Ruitenburg will talk about Things we should already have known about distributive lattices, part 3.
November 30: Wim Ruitenburg will talk about Things we should already have known about distributive lattices, part 2.
November 23: Thanksgiving holiday
November 16: Wim Ruitenburg will talk about Things we should already have known about distributive lattices.
November 9: Paul Bankston will talk about Lattice-defined topological properties, part 2.
November 4 (note different day): Tom Drucker will talk about Ordinal Virtues--The Axiomatization of the Ordinal Numbers.

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