Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
In an earlier paper ``Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger [ibid. 26, 29-55 (1986/7; Zbl 0617.03038)], the author presented a recursive system T(J) of ordinal notations using the ordering functions \(I_{\alpha}\) of the strongly inaccessible cardinals and so-called collapsing functions \(\psi_{\alpha}\), previously introduced by Buchholz. This system is as strong as the system of \textit{G. Jäger} given in ``\(\rho\)-inaccessible ordinals, collapsing functions and a recursive notation system [ibid. 24, 49-62 (1984; Zbl 0545.03031)]. The ordinal J is the supremum of the sequence \(J_ n\), defined recursively by \(J_ 0:=0\), \(J_{n+1}:=I_{Jn}0\). The system T(J) is developed set-theoretically assuming the existence of the inaccessible cardinals which the functions \(I_{\alpha}\) enumerate. In the paper under review the author proves that the system T(J) is well- ordered. The proof is carried through in a system of second order arithmetic with \(\Pi^ 1_ 2\)-comprehension axiom schema by means of so-called distinguished sets. These sets are defined by extending the same concept \textit{W. Buchholz} had introduced in ``Normalfunktionen und konstruktive Systeme [Lect. Notes Math. 500, 4-25 (1975; Zbl 0342.02021)] to show the well-ordering of a weaker system. In consequence of this proof it is not necessary to presuppose the existence of strongly inaccessible cardinals when the system T(J) is defined. Moreover the order type of T(J) is smaller than the proof- theoretical ordinal of second order arithmetic with \(\Pi^ 1_ 2\)- comprehension.
- Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)
- scientific article; zbMATH DE number 1390279
- Ordinal notations based on a hierarchy of inaccessible cardinals
- A new system of proof-theoretic ordinal functions
- scientific article; zbMATH DE number 4134035
- Structured algebraic specifications: A kernel language
- Eine Erweiterung T(V') des Ordinalzahlensystems \(C_{\Omega}(\Lambda _ 0)\) von G. Jäger. (An extension T(V') of the ordinal system \(C_{\Omega}(\Lambda _ 0)\) by G. Jäger)
- A new system of proof-theoretic ordinal functions
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
- On the proof-theoretic strength of monotone induction in explicit mathematics
- Understanding uniformity in Feferman's explicit mathematics
- A flexible type system for the small Veblen ordinal
- On Feferman's operational set theory \textsf{OST}
- Reflections on reflections in explicit mathematics
- scientific article; zbMATH DE number 4134035 (Why is no real title available?)
- scientific article; zbMATH DE number 3914318 (Why is no real title available?)
- Wellordering proofs for metapredicative Mahlo
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
- scientific article; zbMATH DE number 1390279 (Why is no real title available?)
- Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators
This page was built for publication: Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102279)
