1. Logic and Foundations

Model theory. Set theory and general topology. Recursion. Logics. Proof theory. Applications.

INVITED SPEAKERS

Rod Downey  
Victoria University, Wellington, New Zeeland
Algorithmic randomness and computability
Wednesday, August 23, 15:00-15:45

Itay Neeman
 
University of California, Los Angeles, USA 
Determinacy and large cardinals
Friday, August 25, 17:00-17:45

Michael Rathjen
      
The Ohio State University, Columbus, USA
and
University of Leeds, Leeds, United Kingdom
The art of ordinal analysis
Friday, August 25, 18:00-18:45

Thomas Scanlon      
University of California, Berkeley, USA
Model theory of p-jets
Wednesday, August 23, 16:00-16:45

Simon Thomas        
Rutgers University, New Brunswick, USA
Borel superrigidity and the classification problem for the torsion-free Abelian groups of finite rank
Wednesday, August 23, 17:00-17:45