Literatur
Bridge, J.: Some problems in mathematical logic. Systems of ordinal functions and ordinal notations. Dissertation Oxford 1972.
Buchholz, W.: Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen NormalfunktionenΘ a . Dissertation München 1974.
Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Erscheint in Proof Theory Symposium Kiel 1974 Springer Lecture NOtes Bd. 500 (1975).
Levitz, H.: On a simplification of Takeuti's ordinal diagrams of finite order. Zeitschr. f. Math. Logik u. Grundl. d. Math.15, 141–154 (1969).
Levitz, H.: On the relationsship between Takeuti's ordinal diagramsO(n) und Schütte's system of ordinal notationsΣ(n). Intuitionism and Proof Theory, edited by J. Myhill. North Holland, Amsterdam 1970.
Levitz, H., Schütte, K.: A characterization of Takeuti's ordinal diagrams of finite order. Archiv f. Math. Logik u. Grundl.14, 75–97 (1970).
Pfeiffer, H.: Ein Bezeichnungssystem für Ordinalzahlen. Archiv f. Math. Logik u. Grundl.12, 12–17 (1969).
Pohlers, W.: Eine Grenze für die Herleitbarkeit der transfiniten Induktion in einem schwachenΠ 11 -Fragment der klassischen Analysis. Dissertation München 1973.
Schütte, K.: Ein konstruktives System von Ordinalzahlen I, II. Archiv f. Math. Logik u. Grundl.11, 126–137 (1968);12, 3–11 (1969).
Takeuti, G.: Ordinal diagrams. J. Math. Soc. Japan9, 386–394 (1957).
Takeuti, G.: Consistency proofs of subsystems of classical analysis. Ann. of Math.86, 299–348 (1967).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Buchholz, W., Schütte, K. Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und\(\bar \Theta \left( \omega \right)\) . Arch math Logik 17, 179–189 (1975). https://doi.org/10.1007/BF02276806
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02276806