×

\(\rho\)-inaccessible ordinals, collapsing functions and a recursive notation system. (English) Zbl 0545.03031

In this paper \(\rho\)-inaccessible ordinals and collapsing functions \(\Psi_ K\) are studied, where K ranges over a large initial segment of the regular cardinals. It is proved that they induce a strong primitive recursive ordinal notation system.

MSC:

03F15 Recursive ordinals and ordinal notations
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen. Vierteljahresschrift der Naturforschenden Gesellschaft Zürich 95 (1950). · Zbl 0041.02103
[2] Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Proof Theory Symposion Kiel 1974. Lectures Notes in Mathematics, Vol. 500. Berlin, Heidelberg, New York: Springer 1975. · Zbl 0342.02021
[3] Buchholz, W.: The {\(\Omega\)}{\(\mu\)}+1-rule. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis. Lecture Notes in Mathematics, Vol. 897. Berlin, Heidelberg, New York: Springer 1981.
[4] Buchholz, W.: Ordinal analysis of IDv. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, S.: Iterated inductive definitions and subsystems of analysis. Lecture Notes in Mathematics, Vol. 897. Berlin, Heidelberg, New York: Springer 1981 · Zbl 0489.03022
[5] Buchholz, W.: Collapsing functions. München (1982) (to appear).
[6] Drake, F.R.: Set theory. An introduction to large cardinals. Amsterdam: North-Holland 1974. · Zbl 0294.02034
[7] Isles, D.: Regular ordinals and normal forms. Intuitionism and proof theory. Amsterdam: North-Holland 1970. · Zbl 0206.28302
[8] Pfeiffer, H.: Über zwei Bezeichnungssysteme für Ordinalzahlen. Arch. math. Logik16, 23–36 (1974). · Zbl 0336.02025 · doi:10.1007/BF02025116
[9] Pohlers, W.: Ordinal notations based onk-inaccessible ordinals. Preprint, München (1981).
[10] Schütte, K.: Proof. theory. Berlin, Heidelberg, New York: Springer 1977. · Zbl 0367.02012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.