21804 Mathematical logic seminar

21804 Mathematical logic seminar

The seminar will continue on a reduced schedule in Fall 2009. 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 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.

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

August 25    

Coalgebras and their logics    

Krzysztof Kapulkin    

Abstract    

September 15    

PCF theory I    

Spencer Unger    

Abstract    

September 22    

PCF theory II    

Spencer Unger    

Abstract    

September 29    

PCF theory III    

Spencer Unger    

Abstract    

October 6    

Model theory in L_{omega_1, omega}    

Will Boney    

Abstract    

October 13    

Model theory in L_{omega_1, omega} II    

Will Boney    

Abstract    

October 20    

Model theory in L_{omega_1, omega} III    

Will Boney    

Abstract    

November 3    

Fixed-point theorems, constructively    

Peter Lumsdaine    

Abstract    

November 10    

Randomness I    

Ed Dean    

Abstract    

November 13    

A geometric model for databases    

David Spivak    

Abstract (NOTE UNUSUAL TIME AND PLACE)    

November 17    

Randomness II    

Jason Rute    

Abstract    

December 1    

Randomness III    

Ed Dean    

Abstract    

Click for information about past seminar talks: