 | Up a level |
Jäger, Gerhard Max; Kahle, Reinhard; Setzer, Anton; Strahm, Thomas Adrian (1999). The proof-theoretic analysis of transfinitely iterated fixed point theories. The journal of symbolic logic, 64(01), pp. 53-67. Cambridge University Press 10.2307/2586750
Bärtschi, Michael; Jäger, Gerhard Max (2020). Having a look again at some theories of proof-theoretic strengths around Γ₀. In: Kahle, Reinhard; Rathjen, Michael (eds.) The Legacy of Kurt Schütte (pp. 103-128). Cham: Springer 10.1007/978-3-030-49424-7_9
Afshari, Bahareh; Jäger, Gerhard Max; Leigh, Graham E. (July 2019). An Infinitary Treatment of Full Mu-Calculus. Lecture notes in computer science, 11541, pp. 17-34. Springer 10.1007/978-3-662-59533-6_2
Jaun, Lukas (2019). Category Theory in Explicit Mathematics. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)
