Literatur
Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljahresschrift der Naturforschenden Gesellschaft in Zürich, Bd. 95, 115–147 (1950).
Gerber, H.: An extension of Schütte's Klammersymbols. Math. Ann.174, 203–216 (1967).
Howard, A.W.: Ordinal analysis of bar recursion of type zero. Chicago 1969 (vervielfältigt).
Howard, A.W.: A system of abstract constructive ordinals. Journal of Symbolic Logic.37, 355–374 (1972).
Pfeiffer, H.: Ausgezeichnete Folgen für gewisse Abschnitte der zweiten und weiterer Zahlklassen.
Scarpellini, B.: A model for bar-recursion of higher types. Compositio Mathematica23, 123–153 (1971).
Schütte, K.: Primitiv-rekursive Ordinalzahlfunktionen. Sitzungsberichte der Bayer. Akademie der Wissenschaften, München 1975.
Schwichtenberg, H.: Einige Anwendungen von unendlichen Termen und Wertfunktionalen. Habilitationsschrift, Münster 1973.
Vogel, H.: Über ein mit der Barinduktion verwandtes Schema. Mai 1977 (vervielfältigt).
Zucker, J.: Iterated inductive definitions, trees, and ordinals. LNM 344 A.S. Troelstra 392–454 (1973).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vogel, H. Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen. Arch math Logik 19, 165–173 (1978). https://doi.org/10.1007/BF02011877
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011877