Jäger, Gerhard Max

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 4.

Journal Article

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

Book Section

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

Conference or Workshop Item

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

Thesis

Jaun, Lukas (2019). Category Theory in Explicit Mathematics. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)

This list was generated on Thu Mar 28 18:02:52 2024 CET.
Provide Feedback