A comparison of two systems of ordinal notations

DOI10.1007/S00153-003-0177-ZzbMATH Open1067.03063OpenAlexW2014501253MaRDI QIDQ1879003FDOQ1879003

Authors: Harold Simmons 

Publication date: 22 September 2004

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-003-0177-z

Recommendations

• scientific article; zbMATH DE number 1390279
• Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• Fruitful and helpful ordinal functions
• Ordinal notations based on a hierarchy of inaccessible cardinals

zbMATH Keywords

normal functionsfixed pointsBachmann-Howard ordinalordinal notation systemsVeblen functioncritical ordinals\({\roman{ID}}_1\)ordinal notation systems from belowGödel's \(T\)

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Cited In (10)

• Fruitful and helpful ordinal functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ordinal arithmetic with simultaneously defined theta-functions
• How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems
• Ordinal vs cardinal status: two examples
• Constructive Ordinal Notation Systems
• Natural well-orderings
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
• A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams

This page was built for publication: A comparison of two systems of ordinal notations

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