21804 Mathematical logic seminar

21804 Mathematical logic seminar

The seminar will continue in Spring 2008, under the direction of James Cummings.

The seminar will meet 12:00-13:20 on Tuesday in Porter Hall Room A19 D.

January 22    

Jeremy Avigad    

Mining Furstenberg's proof of Szemeredi's theorem    

Abstract
January 29    

James Cummings    

The Regularity Lemma IV: Separable realisations    

Abstract
February 5    

James Cummings    

Set theory and Banach algebras    

Abstract
February 12    

Henry Towsner    

Interpreting Set Theory with Inductive Definitions    

Abstract
March 4    

James Cummings    

Continuous model theory    

Abstract
March 18    

Ernest Schimmerling    

Some open questions about L    

Abstract
March 25    

Bryna Kra    

Connections between ergodic theory and additive combinatorics    

Abstract  

NOTE THE NON-STANDARD TIME AND PLACE: THIS TALK IS AT 4:30 IN DH A310
April 1    

Yimu Yin    

A complete theory of adelic structures    

Abstract
April 8    

Fritz Obermeyer    

Models of Randomness in Programming Languages I    

Abstract
April 15    

Fritz Obermeyer    

Models of Randomness in Programming Languages II    

Abstract
April 29    

Ed Dean    

In defense of Euclidean proof    

Abstract
May 6    

Maryanthe Malliaris    

Saturated ultrapowers of unstable theories    

Abstract NOTE : THIS TALK IS AT THE STANDARD TIME (12:00) IN A NON-STANDARD PLACE (Doherty 4303)
May 8    

Joel Hamkins    

Set-theoretic geology    

Abstract NOTE : THIS TALK IS AT A NON-STANDARD TIME (10:30) IN A NON-STANDARD PLACE (Doherty 4303)
Click for information about past seminar talks: