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.

Tuesday 26 August 2014    

Polymorphism and self-application    

Will Gunther    

Abstract    

Tuesday 2 September 2014    

Ramsey theory and topology    

James Cummings    

Abstract    

Tuesday 9 September 2014    

Families of universal graphs at successors of singulars    

Jacob Davis    

Abstract    

Tuesday 16 September 2014    

An introduction to Borel graph theory    

Clinton Conley    

Abstract    

Tuesday 23 September 2014    

An introduction to Borel graph theory II    

Clinton Conley    

Abstract    

Tuesday 7 October 2014    

Frames and Tameness in Abstract Elementary Classes    

Will Boney    

Abstract    

Tuesday 14 October 2014    

Uniform distribution and algorithmic randomness I    

Jeremy Avigad    

Abstract    

Tuesday 28 October 2014    

Uniform distribution and algorithmic randomness II    

Jeremy Avigad    

Abstract    

Tuesday 11 November 2014    

Introduction to Lambda Calculus I    

Rick Statman    

Abstract    

Tuesday 18 November 2014    

Introduction to Lambda Calculus II    

Rick Statman    

Abstract    

Click for information about past seminar talks: