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:00-13:20 on Tuesday, in Wean Hall 7201.

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

Jan 25 2011    

Homotopy type theory    

Steve Awodey    

Abstract and notes    

Feb 1 2011    

How much square is true?    

Ernest Schimmerling    

Abstract    

Feb 8 2011    

Homotopy type theory II    

Steve Awodey    

Abstract    

Feb 15 2011    

Π and Σ types in dependent type theory    

Chris Kapulkin    

Abstract    

Feb 22 2011    

Π and Σ types in dependent type theory II    

Chris Kapulkin    

Abstract    

Mar 17 2011 (note: unusual day!)    

Forcing axioms and generic ultrapowers with critical point omega-two    

Sean Cox    

Abstract    

Mar 29 2011    

Strong axioms for P(omega) and P(omega_1)    

James Cummings    

Abstract    

Apr 26 2011    

Forcing iterations that add no new reals    

James Cummings    

Abstract    

May 3 2011    

Randomness and the Lebesgue Differentiation Theorem    

Jason Rute    

Abstract    

Click for information about past seminar talks: