Mathematical logic seminar and logic colloquium: Fall, 2005

(Revised November 28)

September 1    
Talk rescheduled

September 8     James Cummings    

Rainbow Ramsey theory and the PFA
September 15     James Cummings    

Rainbow Ramsey theory and the PFA continued
Abstract

September 22     Rade Dimitric    

(Non-) measurability revisited
Abstract

September 26-30    
Tutorial & colloquium    
   
Itay Neeman    

Finite state automata and monadic theories of ordinals
Abstract
October 6    
Lunch    
   
Stephen Simpson    

Reverse mathematics and Π12 comprehension
Abstract

October 13     No meeting    

October 20    
   
   
Matthew Szudzik    

The Definability of functionals in Gödel's theory Τ
Abstract

October 27    
Colloquium    
   
Joseph Mileti    

Using computability theory to calibrate mathematical complexity
Abstract

November 3    
   
   
Henry Towsner    

Recent developments in ordinal analysis
Abstract

November 10    
   
   
Yimu Yin    

Quantifier elimination and real closed fields with a monadic predicate
Abstract

November 17    
Lunch    
   
Tetsuya Ishiu    

The saturation of club guessing ideals
Abstract

November 24     No meeting    

December 1     Spas Bojanov    

On a paper by Makkai and Shelah
Abstract

December 8    
No meeting