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.