ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
- 1 December 1984
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 24 (1) , 49-62
- https://doi.org/10.1007/bf02007140
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Proof TheoryPublished by Springer Nature ,1977
- Normalfunktionen und Konstruktive Systeme von OrdinalzahlenPublished by Springer Nature ,1975
- Über zwei Bezeichnungssysteme für OrdinalzahlenArchive for Mathematical Logic, 1974