Mathematical logic seminar: Fall, 2006



August 29    
   
   
James Cummings    

Generic ultrapowers, part I


September 5     James Cummings    

Generic ultrapowers, part II
Abstract

September 12    
   
   
Philipp Gerhardy    

General logical metatheorems for functional analysis
Abstract

September 19    
   
   
Yimu Yin    

Quantifier elimination for valued fields, part 1
Abstract    Slides

September 26    
   
   
Yimu Yin    

Quantifier elimination for valued fields, part 2
Abstract    Slides

October 3    
   
   
No meeting    

October 10    
   
   
Ernest Schimmerling    

October 17    
   
   
Ernest Schimmerling    

October 24    
   
   
Ernest Schimmerling    

October 31    
   
   
Yimu Yin    

Cell decomposition in valued fields
Abstract     Slides

November 7    
   
   
Philipp Gerhardy    

General logical metatheorems for functional analysis II
Abstract

November 14    
   
   
Henry Towsner    

Unwinding Szemeredi's theorem
Abstract

November 21    
   
   
No meeting    

November 28    
   
   
Dima Sinapova    

A cardinal preserving extension making the set of points of countable V cofinality nonstationary
Abstract

December 5    
   
   
James Cummings    

A gentle introduction to minimal walks
Abstract