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)

Review text

The author generalizes results on notation systems of \textit{K. Schütte} [Proof theory (1977; Zbl 0367.02012)] and \textit{W. Buchholz} [Lect. Notes Math. 500, 4-25 (1975; Zbl 0342.02021)], and obtains, via so-called Skolem hulls and 2-place functions from the ordinals into the inaccessible cardinals, a new ordinal notation system. This research was motivated by the fact that \((\Delta^ 1_ 2-CA)+BI\) has a model at the first recursively inaccessible ordinal in the constructible hierarchy.

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)