Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))

DOI10.1007/BF01625829MaRDI QIDQ1102279zbMATH OpenOpenAlexFDO

Authors Kurt Schütte

Publication date 1988

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01625829

zbMATH Keywords

comprehensionorder typeinaccessible cardinalswell-orderingordinal notationssecond order arithmeticdistinguished setsproof- theoretical ordinal

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• 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
• Publication:3035277

Cites work

• Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

Cited in

(16)

• A flexible type system for the small Veblen ordinal
• Reflections on reflections in explicit mathematics
• Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
• scientific article; zbMATH DE number 1390279 (Why is no real title available?)
• Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• scientific article; zbMATH DE number 4134035 (Why is no real title available?)
• Structured algebraic specifications: A kernel language
• On the proof-theoretic strength of monotone induction in explicit mathematics
• On Feferman's operational set theory \textsf{OST}
• A new system of proof-theoretic ordinal functions
• 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)
• Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators
• Wellordering proofs for metapredicative Mahlo
• Understanding uniformity in Feferman's explicit mathematics
• scientific article; zbMATH DE number 3914318 (Why is no real title available?)

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)