Seminar in Mathematical Logic

(Mostly aimed at students; co-organized with Jan Bydžovský.)


Wednesdays at 16:00. Seminar room, 5th floor of Freihaus (green part).


---


Session 1: 10/24. Aguilera: Turing Determinacy.


Session 2: 10/31. Aguilera: Turing Determinacy.


Session 3: 11/7. Rossegger: Linear Orders.


Session 4: 11/14. Rossegger: Linear Orders.