• Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks
  • Mehr
    • Home
    • Research
    • People
    • Short CV
    • Grants
    • Teaching
    • Talks
  • Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks

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.


Session 5: 11/21. Bydžovský: Proof Complexity and Finite Models.


Session 6: 11/28. Bydžovský: Proof Complexity and Finite Models.


Session 7: 12/05. Bydžovský: Proof Complexity and Finite Models.


Session 8: 12/12. Bydžovský: Proof Complexity and Finite Models.


Session 9: 01/09. Godziszewski: Computable Quotient Presentations of Models of Arithmetic and Set Theory.




© 2019–2024 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.

Cookie Policy

This website uses cookies. By continuing to use this site, you accept our use of cookies.

Accept & Close