Ordinal notations based on a hierarchy of inaccessible cardinals

DOI10.1016/0168-0072(87)90079-0MaRDI QIDQ1109768zbMATH OpenOpenAlexFDO

Authors Wolfram Pohlers

Publication date 1987

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(87)90079-0

zbMATH Keywords

constructible hierarchyinaccessible cardinalsordinal notation systemrecursively inaccessible ordinalSkolem hulls

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• Ordinal notations based on a weakly Mahlo cardinal
• Ordinal notations and well-orderings in bounded arithmetic
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• scientific article; zbMATH DE number 3336799
• On Wainer's notation for a minimal subrecursive inaccessible ordinal
• Inaccessible cardinals without the axiom of choice
• Ordinal definable subsets of singular cardinals
• On ordinals accessible by infinitary languages
• Indescribable cardinals and elementary embeddings

Cites work

• A simplification of the Bachmann method for generating large countable ordinals
• A well-ordering proof for Feferman's theoryT 0
• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 3532926 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

Cited in

(13)

• Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J). (A proof of the wellordering of the ordinal number system T(J))
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• A comparison of two systems of ordinal notations
• Constructive Ordinal Notation Systems
• A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
• scientific article; zbMATH DE number 4012597 (Why is no real title available?)
• Natural well-orderings
• A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
• scientific article; zbMATH DE number 1420856 (Why is no real title available?)
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• Proof-theoretic analysis of KPM
• Ordinal notations based on a weakly Mahlo cardinal

This page was built for publication: Ordinal notations based on a hierarchy of inaccessible cardinals

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