(Mostly aimed at students; co-organized with Jan Bydžovský.)
Wednesdays at 16:30. Seminar room, 5th floor of Freihaus (green part).
Session 1: 03/20. Rossegger: Spectra of Equivalence Relations.
Session 2: 03/27. Bazhenov: Isomorphism Types of Rogers Semilattices.
Session 3: 04/03. Aguilera: Solovay’s Completeness Theorem.
Session 4: 04/10. Aguilera: Solovay's Completeness Theorem, II.
Session 5: 05/08. Rossegger: Iterated Reflection and Ordinals.
Session 6: 05/15. Rossegger: Iterated Reflection and Ordinals.
Session 7: 07/10. Bergmayr: Quantum Logic.