21804 Mathematical logic seminar

The seminar will continue in Fall, 2007, under the direction of James Cummings.

The seminar will meet 12:00-13:20 on Tuesday in Scaife Hall Room 219.

August 28	James Cummings	The Regularity Lemma I: Ultrafilters and ultraproducts	Abstract
September 4	James Cummings	The Regularity Lemma II: Ultraproducts and measure theory	Abstract
September 11	James Cummings	The Regularity Lemma III: Measure theory and regularity	Abstract
September 25	Rick Statman	Cartesian monoids	Abstract
October 2	Rick Statman	Cartesian monoids part II
October 9	Peter Lumsdaine	Sheaves I: What are they and what are they doing in a logic seminar?	Abstract
October 16	Peter Lumsdaine	Sheaves II: Logic in sheaves on a space	Abstract
October 23	Peter Lumsdaine	Sheaves III: Sheaf models and constructive analysis	Abstract
October 30	Jeremy Avigad	Computability and ergodic theory I	Abstract
November 6	Jeremy Avigad	Computability and ergodic theory II	Abstract
November 13	Yimu Yin	Sketch of a research plan I	Abstract
November 27	Yimu Yin	Sketch of a research plan II	Abstract
December 4	Yimu Yin	Sketch of a research plan III	Abstract

Here is the developing schedule for next term.

Information about past seminar talks:

• Fall, 2002, to Spring, 2007, organized by Ernest Schimmerling
• until Spring, 2002, organized by Rami Grossberg