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

DOI10.1007/BF01625829zbMATH Open0644.03029OpenAlexW2318189663MaRDI QIDQ1102279FDOQ1102279

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

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

Cited In (16)

• A flexible type system for the small Veblen ordinal
• Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
• Reflections on reflections in explicit mathematics
• Title not available (Why is that?)
• Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)