Seminar in Mathematical Logic

(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.