Bärtschi, Michael

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2021 | 2020


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

Provide Feedback