Mathematical logic seminar - Feb 1, 2011

Time: 12:00 - 13:20

Room: Wean Hall 7201 (tentative)

Speaker:     Ernest Schimmerling    
Department of Mathematical Sciences
CMU

Title: How much square is true ?

Abstract:

I'll discuss a recent equiconsistency proved by John Krueger and myself between the failure of a partial square principle introduced by Saharon Shelah and the existence of a greatly Mahlo cardinal. The terminology will be explained and the proofs will be outlined in some detail.