Graduate Seminar on Logic (S4A4)
Time and place
Tuesday 16.15-18.00, Room 1.007.
Topic
Hyperfine structure & Singularization of regular cardinals.
Talks
- 0. P. Koepke: Hyperfine structure and the constructible universe (27.10.2015).
- 1. T. Weiß: Hyperfine structure and a proof of □ (Part I., 03.11.2015).
- 2. I. Rosas Nunez: Hyperfine structure and a proof of □ (Part II., 10.11.2015).
- 3. J. Garcia No: Hyperfine structure and a proof of □ (Part III., 17.11.2015).
- 4. A. Njegomir: Measurable cardinals and some of their properties (01.12.2015).
- 5. R. Paßmann: Prikry forcing (15.12.2015).
- 6. A. Lietz: The Jensen covering lemma and consequences on singular cardinals (22.12.2015).
- 7. W. Leyrer: Namba forcing (12.01.2016).
- 8. M. Janke: Two step iterations and quotient forcings (19.01.2016).
- 9. S. Omlor: A higher analogue of Namba forcing (26.01.2016).
- 10. L. Heidemann: Supercompact and Strongly Compact Prikry Forcings (02.02.2016).
Literature
- [1] Thomas Jech: Set theory. The third millennium edition, revised and expanded.
Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
- [2] Akihiro Kanamori: The higher infinite.
Large cardinals in set theory from their beginnings. Second edition. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
- [3] Peter Koepke: Simplified Constructibility Theory. Lecture notes.
- [4] Moti Gitik: Prikry-type forcings. Handbook of set theory. Vols. 1, 2, 3, 1351-1447, Springer, Dordrecht, 2010.