Summary
A recursive notation system of a strong segment of ordinals was developped by Jäger [3]. An unessential modified versionT(J) of this notation system was described in [4]. In the following, the well-ordering ofT(J) is proved in a formal system of second order arithmetic with the axiom schema ofΠ 12 -comprehension. It follows, that the proof theoretical ordinal ofΠ 12 -analysis is greater than the order type ofT(J).
Similar content being viewed by others
Literatur
Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Proof Theory Symposion Kiel 1974. Lect. Notes Math.500, 4–25 (1975)
Buchholz, W.: Wohlordnungsbeweise mittels Hauptfolgen. Oberseminarvortrag München 1986
Jäger, G.:ϱ-Inaccessible ordinals, collapsing functions and a recursive notation system. Arch. Math. Logik Grundlagenforsch.24, 49–62 (1984)
Schütte, K.: Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Arch. Math. Logik Grundlagenforsch.26, 29–55 (1986/87)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schütte, K. Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J) . Arch Math Logic 27, 5–20 (1988). https://doi.org/10.1007/BF01625829
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01625829