Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Aczel, P.: A new approach to the Bachmann method for describing large countable ordinals. (unveröffentlicht)
Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljahresschrift der Naturforschenden Gesellschaft Zürich 95 (1950).
Bridge, J.: Some problems in mathematical logic. Systems of ordinal functions and ordinal notations. Ph. D. Thesis, Oxford 1972.
Buchholz, W.: Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen Normalfunktonen Θα. Dissertation München 1974.
Buchholz, W., Schütte, K.: Die Beziehungen zwischen den Ordinalzahlsystemen Σ und Θ(ω). Erscheint in: Arch. Math. Log. u. Grundl.
Buchholz, W.: Über die Beziehungen zwischen den Systemen Θ([g]), W(X) und Od (I). (unveröffentlicht)
Isles, D.: Regular ordinals and normal forms. Intuitionism and Proof Theory, Proc. conference Buffalo 1968, North-Holland, Amsterdam (1970).
Kino, A.: On ordinal diagrams. Jour. Math. Soc. Jap. 13, S.346 (1961)
Levitz, H. und Schütte, K.: A Characterization of Takeuti's Ordinal Diagrams of Finite Orders. Arch. Math. Log. u. Grundl. 14, S.75 (1971)
Pfeiffer, H.: Ausgezeichnete Folgen für gewisse Abschnitte der zweiten und weiterer Zahlenklassen. Dissertation Hannover 1964.
Pfeiffer, H.: Ein Bezeichnungssystem für Ordinalzahlen. Arch. Math. Log. u. Grundl. 12, S.12 (1969)
Pfeiffer, H.: Ein Bezeichnungssystem für Ordinalzahlen. Arch. Math. Log. u. Grundl. 13, S.74 (1970)
Pfeiffer, H.: Vergleich zweier Bezeichnungssysteme für Ordinalzahlen. Arch. Math. Log. u. Grundl. 15, S.41 (1972)
Pfeiffer, H.: Über zwei Bezeichnungssysteme für Ordinalzahlen. Arch. Math. Log. u. Grundl. 16, S.23 (1973)
Pfeiffer, H.: Bezeichnungssysteme für Ordinalzahlen. Communic. of the Math. Inst. Rijksuniversiteit Utrecht 1973–1.
Schütte, K.: Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Math. Annalen 127, S.15 (1954)
Schütte, K.: Ein konstruktives System von ordinalzahlen. Arch. Math. Log. u. Grundl. 11, S.126 (1968) und 12, S.3 (1969)
Schütte, K.: Einführung der Normalfunktionen ωα ohne Auswahlaxiom und ohne Regularitätsbedingung. Erscheint in: Arch. Math. Log. u. Grundl.
Takeuti, G.: Ordinal diagrams I, II. Journ. Math. Soc. Jap. 9, S.386 (1957) und 12, S.385 (1960)
Weyhrauch, R. W.: Relations between some hierarchies of ordinal functions and functionals. Ph. D. Thesis Stanford 1972. *** DIRECT SUPPORT *** A00J4136 00002
Editor information
Additional information
Herrn Professor Dr. Kurt Schütte zum 65. Geburtstag gewidmet
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Buchholz, W. (1975). Normalfunktionen und Konstruktive Systeme von Ordinalzahlen. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079544
Download citation
DOI: https://doi.org/10.1007/BFb0079544
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive