21804 Mathematical logic seminar

21804 Mathematical logic seminar

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

The seminar will usually meet 12:00-13:20 on Tuesday in the Philosophy Department seminar room in Baker Hall (room number BH 150)

PLEASE NOTE: CERTAIN MEETINGS WILL TAKE PLACE AT NON-STANDARD TIMES AND PLACES.

January 12    

Philipp Gerhardy    

Proof mining in topological dynamics    

Abstract    

PLEASE NOTE NON-STANDARD TIME (Monday 4:40) AND PLACE (Statistics Seminar Room, BH 232Q)
January 27    

James Cummings    

Recent advances in polychromatic Ramsey theory    

Abstract    

February 3    

Spencer Unger    

The tree property    

Abstract    

February 10    

Spencer Unger    

The tree property II    

Abstract    

February 17    

Spencer Unger    

The tree property III    

Abstract    

February 24    

Spencer Unger    

The tree property IV    

Abstract    

March 17    

Peter Lumsdaine    

Sheaves and forcing    

Abstract    

March 24    

Amine Chaieb    

Formal power series in Isabelle/HOL    

Abstract    

March 27    

Harvey Friedman    

Boolean relation theory    

Abstract    

PLEASE NOTE NON-STANDARD TIME (11:30 FRIDAY) AND PLACE (BH A53)
March 31    

Ernest Schimmerling    

Inner model theory I    

Abstract    

April 7    

Ernest Schimmerling    

Inner model theory II    

Abstract    

April 14    

Lars Birkedal    

Solutions of Generalized Recursive Metric-Space Equations    

Abstract    

PLEASE NOTE NON-STANDARD PLACE (DH 1117)
April 21    

Ernest Schimmerling    

Inner model theory III: the covering lemma    

Abstract    

April 28    

Ernest Schimmerling    

Inner model theory IV: the extender algebra    

Abstract    

Click for information about past seminar talks: