21804 Mathematical logic seminar

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

The seminar will meet 12:00-13:20 on Tuesday in Doherty Hall 4303. This can be a tricky room to find. Probably the best way is to start in the 2300 corridor of Doherty Hall, proceed up the stairs to the fourth floor and then bear left.

September 2	James Cummings	The Generalised Continuum Hypothesis and Jensen's diamond principle	Abstract	Notes
September 9	Peter Nyikos	Topological applications of large cardinal numbers	Abstract
September 16	Agatha Walczak-Typke	Classification Theory of Homogeneous Model Theory vs Constructibility of Potentially Isomorphic Pairs	Abstract
September 30	Peter Lumsdaine	Intensional type theory	Abstract
October 7	Peter Lumsdaine	Intensional type theory II	Abstract
October 14	Peter Lumsdaine	Intensional type theory III	Abstract
October 21	Peter Lumsdaine	Intensional type theory IV	Abstract
October 28	James Cummings	Recent progress on the tree property	Abstract
November 4	Fritz Obermeyer	Lattices of lambda theories	Abstract
November 11	William Tait	Cut-elimination	Abstract
November 18	Kentaro Sato	The strength of extensionality	Abstract
December 2	Yimu Yin	A modest attempt at defining motivic Fourier transform in algebraically closed valued fields	Abstract

Click for information about past seminar talks:

• Autumn 2007 to present, organised by James Cummings
• Fall, 2002, to Spring, 2007, organized by Ernest Schimmerling
• until Spring, 2002, organized by Rami Grossberg