Mathematical logic seminar : Spring, 2005

January 13     Uri Abraham    
Visiting Professor
Department of Mathematical Sciences    
Carnegie Mellon University

"What is Shelah's Revised GCH? Part 1"
January 20     Uri Abraham    
Visiting Professor
Department of Mathematical Sciences    
Carnegie Mellon University

"What is Shelah's Revised GCH? Part 2"
January 27     Katherine Thompson    
Nehari Visiting Assistant Professor    
Department of Mathematical Sciences    
Carnegie Mellon University

"Methodologies for proving universality results"
February 3     James Cummings    
Associate Professor
Department of Mathematical Sciences    
Carnegie Mellon University

"Polychrome Ramsey theory"
February 10     John Clemens    
Assistant Professor
Department of Mathematics    
Pennsylvania State University

"Fixed points of isometries of Urysohn's space"
February 15
Special Tuesday lecture    
   
Menachem Magidor
President
Hebrew University    

"Lowenheim Skolem theorems for fragments of second order logic"
February 24     No meeting    

March 3     No meeting    

March 10     Spring Break    

March 17     No meeting    

March 22
Special Tuesday lecture    
   
Thomas Forster
Department of Pure Mathematics
and Mathematical Statistics    
University of Cambridge    

"A Logician looks at BQOs"
March 31     Steve Awodey
Associate Professor
Department of Philosophy
Carnegie Mellon University    

"A new Kripke completeness theorem for λ calculus"
April 7     Michael Rathjen
Professor
Department of Mathematics
Ohio State University    

"The disjunction and existence property for intuitionistic set theories"
April 14     Spring Carnival    

April 21     Ernest Schimmerling
Associate Professor
Department of Mathematical Sciences
Carnegie Mellon University    

"Coherent sequences and threads"
April 28     Alexei Kolesnikov
Department of Mathematics
University of Michigan    

"Fundamental order in simple theories"