Ordinal notations based on a hierarchy of inaccessible cardinals

DOI10.1016/0168-0072(87)90079-0zbMATH Open0656.03038OpenAlexW2046420469MaRDI QIDQ1109768FDOQ1109768

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

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

zbMATH Keywords

ordinal notation systeminaccessible cardinalsconstructible hierarchyrecursively inaccessible ordinalSkolem hulls

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

• Title not available (Why is that?)
• A well-ordering proof for Feferman's theoryT 0
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simplification of the Bachmann method for generating large countable ordinals

Cited In (13)

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

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)