This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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