21804 Mathematical logic seminar

The seminar will continue in Spring 2009, under the direction of James Cummings.

The seminar will usually meet 12:00-13:20 on Tuesday in the Philosophy Department seminar room in Baker Hall (room number BH 150)

PLEASE NOTE: CERTAIN MEETINGS WILL TAKE PLACE AT NON-STANDARD TIMES AND PLACES.

January 12	Philipp Gerhardy	Proof mining in topological dynamics	Abstract	PLEASE NOTE NON-STANDARD TIME (Monday 4:40) AND PLACE (Statistics Seminar Room, BH 232Q)
January 27	James Cummings	Recent advances in polychromatic Ramsey theory	Abstract
February 3	Spencer Unger	The tree property	Abstract
February 10	Spencer Unger	The tree property II	Abstract
February 17	Spencer Unger	The tree property III	Abstract
February 24	Spencer Unger	The tree property IV	Abstract
March 17	Peter Lumsdaine	Sheaves and forcing	Abstract
March 24	Amine Chaieb	Formal power series in Isabelle/HOL	Abstract
March 27	Harvey Friedman	Boolean relation theory	Abstract	PLEASE NOTE NON-STANDARD TIME (11:30 FRIDAY) AND PLACE (BH A53)
March 31	Ernest Schimmerling	Inner model theory I	Abstract
April 7	Ernest Schimmerling	Inner model theory II	Abstract
April 14	Lars Birkedal	Solutions of Generalized Recursive Metric-Space Equations	Abstract	PLEASE NOTE NON-STANDARD PLACE (DH 1117)
April 21	Ernest Schimmerling	Inner model theory III: the covering lemma	Abstract
April 28	Ernest Schimmerling	Inner model theory IV: the extender algebra	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