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

DOI10.1007/BF01625829zbMath0644.03029OpenAlexW2318189663MaRDI QIDQ1102279

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

ordinal notationsorder typecomprehensioninaccessible cardinalswell-orderingsecond order arithmeticdistinguished setsproof- theoretical ordinal

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (8)

Structured algebraic specifications: A kernel language ⋮ Understanding uniformity in Feferman's explicit mathematics ⋮ On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ 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) ⋮ On Feferman's operational set theory \textsf{OST} ⋮ Reflections on reflections in explicit mathematics ⋮ Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion ⋮ Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM

Cites Work

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

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))