×

zbMATH — the first resource for mathematics

Über die mit dem Bar-Rekursor vom Typ O definierbaren Ordinalzahlen. (German) Zbl 0414.03034

MSC:
03F15 Recursive ordinals and ordinal notations
03F10 Functionals in proof theory
PDF BibTeX XML Cite
Full Text: DOI EuDML
References:
[1] Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljahresschrift der Naturforschenden Gesellschaft in Zürich, Bd. 95, 115–147 (1950). · Zbl 0041.02103
[2] Gerber, H.: An extension of Schütte’s Klammersymbols. Math. Ann.174, 203–216 (1967). · Zbl 0162.01901 · doi:10.1007/BF01360719
[3] Howard, A.W.: Ordinal analysis of bar recursion of type zero. Chicago 1969 (vervielfältigt).
[4] Howard, A.W.: A system of abstract constructive ordinals. Journal of Symbolic Logic.37, 355–374 (1972). · Zbl 0264.02026 · doi:10.2307/2272979
[5] Pfeiffer, H.: Ausgezeichnete Folgen für gewisse Abschnitte der zweiten und weiterer Zahlklassen.
[6] Scarpellini, B.: A model for bar-recursion of higher types. Compositio Mathematica23, 123–153 (1971). · Zbl 0212.01901
[7] Schütte, K.: Primitiv-rekursive Ordinalzahlfunktionen. Sitzungsberichte der Bayer. Akademie der Wissenschaften, München 1975. · Zbl 0358.02055
[8] Schwichtenberg, H.: Einige Anwendungen von unendlichen Termen und Wertfunktionalen. Habilitationsschrift, Münster 1973.
[9] Vogel, H.: Über ein mit der Barinduktion verwandtes Schema. Mai 1977 (vervielfältigt).
[10] Zucker, J.: Iterated inductive definitions, trees, and ordinals. LNM 344 A.S. Troelstra 392–454 (1973).
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.