References
Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen. Vierteljahrschr. Naturf. Ges. Zürich95 (1950), 115–147.
Gerber, H.: An extension of Schütte's Klammersymbols. Math. Ann.174 (1967), 203–216.
Isles, D.: Regular ordinals and normal forms. Intuitionism and Proof Theory, edited by J. Myhill. North Holland, Amsterdam, 1970.
Kino, A.: On ordinal diagrams. J. Math. Soc. Japan13 (1961), 346–356.
Levitz, H.: On a simplification of Takeuti's ordinal diagrams of finite order. Zeit. f. Math. Logik u. Grund. der Math.15 (1969), 141–154.
Levitz, H.: On the relationship between Takeuti's ordinal diagrams 0(n) and Schütte's system of ordinal notations∑(n). Intuitionism and Proof Theory, edited by J. Myhill. North Holland, Amsterdam, 1970
Pfeiffer, H.: Ausgezeichnete Folge für gewisse Abschnitte der zweiten und weiteren Zahlklassen. Dissertation, Technische Hochschule, Hannover, 1964.
Pfeiffer, H.: Ein Bezeichnungssystem für Ordinalzahlen. Archiv für Math. Logik und Grund.12 (1969), 12–17.
Schütte, K.: Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Math. Ann.127 (1954), 15–32.
Schütte, K.: Ein konstruktives System von Ordnungszahlen. Archiv für Math. Logik und Grund.11 (1968), 126–137.
Schütte, K.: Ein konstruktives System von Ordnungszahlen II. Archiv für Math. Logik und Grund.12 (1969), 3–11.
Takeuti, G.: Ordinal diagrams. J. Math. Soc. Japan9 (1957), 386–394.
Takeuti, G.: On the fundamental conjecture of GLC V. J. Math. Soc. Japan.10 (1958), 121–134.
Takeuti, G.: Ordinal diagrams II. J. Math. Soc. Japan12 (1960), 385–391.
Takeuti, G.: On the fundamental conjecture VI. Proceedings of the Japan Academy37 (1961), 440–443.
Takeuti, G.: Consistency proofs of subsystems of classical analysis. Ann. of Math.86 (1967), 299–348.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Levitz, H., Schütte, K. A characterization of Takeuti's ordinal diagrams of finite order. Arch math Logik 14, 75–97 (1971). https://doi.org/10.1007/BF01974151
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01974151