Ordinal notations based on a hierarchy of inaccessible cardinals

DOI10.1016/0168-0072(87)90079-0zbMath0656.03038OpenAlexW2046420469MaRDI QIDQ1109768

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

ordinal notation systeminaccessible cardinalsconstructible hierarchyrecursively inaccessible ordinalSkolem hulls

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (5)

Natural well-orderings ⋮ Ordinal notations based on a weakly Mahlo cardinal ⋮ A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal ⋮ Proof-theoretic analysis of KPM ⋮ Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
• A simplification of the Bachmann method for generating large countable ordinals
• A well-ordering proof for Feferman's theoryT 0

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