Time: Tuesdays, 10am (academic time, i.e., really 10:15).
Place: TU Wien, Freihaus. Zeichensaal 1 (8th floor, green area, behind the elevators).
[1] S. Simpson. Subsystems of second-order arithmetic (1999). Cambridge University Press.
[2] D. Dzhafarov and C. Mummert. Reverse Mathematics (2022). Springer.
© 2019–2025 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.
This website uses cookies. By continuing to use this site, you accept our use of cookies.