Normal functions and constructive ordinal notations
From MaRDI portal
Publication:4113808
DOI10.2307/2272243zbMath0345.02018OpenAlexW4243475360MaRDI QIDQ4113808
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272243
Large cardinals (03E55) Recursive ordinals and ordinal notations (03F15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (4)
Ordinal arithmetic: Algorithms and mechanization ⋮ Natural well-orderings ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ The Operational Perspective: Three Routes
This page was built for publication: Normal functions and constructive ordinal notations
