21804 Mathematical logic seminar

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    

Click for information about past seminar talks: