 | Up a level |
Bärtschi, Michael (2021). ATR_0 and Some Related Theories. (Dissertation, Philosophisch-naturwissenschaftliche Fakultät)
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
