Time: TBA
Place: TBA
[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.