Bonn Mathematical Logic Group

Graduate Seminar on Set Theory (S4A4)


Time and place

Tuesday 16.15-18.00, Room N0.003.

Topic

Large cardinals and forcing.

Talks

1. Tashi Walde (15. & 22.10.2013): The large cardinal hierarchy:Inaccessible cardinals, Mahlo cardinals and weakly compact cardinals. [4: 39-41, 76-77]
2. Richard Obersheimer (29.10.2013): The large cardinal hierarchy: Measurable cardinals. [4:44-50]
3. Aras Ergus (05.11.2013): The large cardinal hierarchy: Strong cardinals, strongly compact cardinals and supercompact cardinals. [4: 298-302, 307, 358]
4. Finn Schmieter (12.11.2013): Small forcings. [1: 806-808] + [2: 390-391]
5. Luisa Vogel (19.11.2013): The Levy Collapse. [4: 127-131]
6. Felix Chopra (26.11.2013): The perfect subset property for Π11-sets of reals. [4: 173-174, 182-183]
7. Ana Njegomir (03.12.2013): Failures of the Kurepa hypothesis. [3: 9-11]
8. Michael Buchner (10.12.2013): The non-existence of square sequences. [5: 1-3] + [6: 47-50]

Literature

[1] James Cummings: Iterated forcing and elementary embeddings. Handbook of set theory. Vols. 1, 2, 3, 775-883, Springer, Dordrecht, 2010.
[2] Thomas Jech: Set theory. The third millennium edition, revised and expanded. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
[3] Thomas Jech: Trees. Journal of Symbolic Logic 36, 1-14, 1971.
[4] Akihiro Kanamori: The higher infinite. Large cardinals in set theory from their beginnings. Second edition. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
[5] John Krueger and Ernest Schimmerling: Separating Weak Partial Square Principles. Preprint.
[6] Boban Velickovic: Jensen's square principles and the Novak number of partially ordered sets. Journal of Symbolic Logic 51, no. 1, 47-58, 1986.
Last change: 22.11.2013