A comparison of two systems of ordinal notations

DOI10.1007/S00153-003-0177-ZzbMath1067.03063OpenAlexW2014501253MaRDI QIDQ1879003

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

fixed pointsVeblen functionnormal functionsBachmann-Howard ordinalordinal notation systemsGödel's \(T\)critical ordinals\({\roman{ID}}_1\)ordinal notation systems from below

Mathematics Subject Classification ID

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

Related Items (1)

Fruitful and helpful ordinal functions

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