Describing ordinals using functionals of transfinite type
From MaRDI portal
Publication:5680101
DOI10.2307/2272543zbMath0264.02025OpenAlexW2011606100MaRDI QIDQ5680101
Publication date: 1972
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272543
Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)
Related Items
Recursive categoricity and recursive stability, Some uses of dilators in combinatorial problems. II, Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy), Natural well-orderings, A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal, The Operational Perspective: Three Routes, A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal, Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers), … and so on: Schütte on Naming Ordinals
Cites Work
