A comparison of two systems of ordinal notations
From MaRDI portal
Publication:1879003
DOI10.1007/S00153-003-0177-ZzbMath1067.03063OpenAlexW2014501253MaRDI QIDQ1879003
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
fixed pointsVeblen functionnormal functionsBachmann-Howard ordinalordinal notation systemsGödel's \(T\)critical ordinals\({\roman{ID}}_1\)ordinal notation systems from below
Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)
Related Items (1)
This page was built for publication: A comparison of two systems of ordinal notations