A comparison of two systems of ordinal notations

DOI10.1007/S00153-003-0177-ZMaRDI QIDQ1879003zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(10)

• Fruitful and helpful ordinal functions
• scientific article; zbMATH DE number 1390279 (Why is no real title available?)
• scientific article; zbMATH DE number 1420856 (Why is no real title available?)
• 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
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
• Natural well-orderings
• 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)