ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

DOI10.1007/BF02007140MaRDI QIDQ3335775zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 1984

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138022

zbMATH Keywords

collapsing functionsconstructive notation systemsconstructive well- orderingsinaccessible ordinalsordinal functionsstrong primitive recursive ordinal notation system

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• 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
• Ordinal notations based on a hierarchy of inaccessible cardinals
• scientific article; zbMATH DE number 510775

Cites work

• scientific article; zbMATH DE number 3532926 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 3328154 (Why is no real title available?)
• scientific article; zbMATH DE number 3061667 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Set theory. An introduction to large cardinals
• Über zwei Bezeichnungssysteme für Ordinalzahlen

Cited in

(18)

• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• 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
• Ordinal notations based on a hierarchy of inaccessible cardinals
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Proof theory and ordinal analysis
• Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
• Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
• Natural well-orderings
• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• On Wainer's notation for a minimal subrecursive inaccessible ordinal
• Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
• scientific article; zbMATH DE number 1910402 (Why is no real title available?)
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• scientific article; zbMATH DE number 3412592 (Why is no real title available?)
• Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal

This page was built for publication: ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3335775)