21804 Mathematical logic seminar

Please contact James Cummings if you would like to speak or to suggest a speaker.

The seminar will usually meet 12:30-13:30 on Tuesday, in Wean Hall 8220 (NOTE CHANGE OF ROOM FROM LAST SEMESTER)

Tuesday 12 January 2016	Amenability and μ-hyperfiniteness	Clinton Conley	Abstract
Tuesday 19 January 2016	Amenability and μ-hyperfiniteness II	Clinton Conley	Abstract
Tuesday 9 February 2016	Proper forcing, side conditions and Baumgartner's problem	James Cummings	Abstract
Tuesday 23 February 2016	The forcing proof of the Halpern-Laüchli theorem	Jing Zhang	Abstract
Tuesday 1 March 2016	The forcing proof of the Halpern-Laüchli theorem II	Jing Zhang	Abstract
Tuesday 22 March 2016	Proper forcing, side conditions and Baumgartner's problem II	James Cummings	Abstract
Tuesday 29 March 2016	Algebraic Structures Intrinsic to Functional Programming	Rick Statman	Abstract
Tuesday 12 April 2016	Algebra in the Samuel compactification	Andy Zucker	Abstract
Tuesday 19 April 2016	Algebra in the Samuel compactification II	Andy Zucker	Abstract
Tuesday 26 April 2016	Algebra in the Samuel compactification III	Andy Zucker	Abstract
Friday 13 May 2016	On a class of maximality principles	Daisuke Ikegami	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