The next admissible ordinal
From MaRDI portal
Publication:3858256
DOI10.1016/0003-4843(79)90025-1zbMath0424.03024OpenAlexW1983284023MaRDI QIDQ3858256
Publication date: 1979
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(79)90025-1
Related Items (4)
A characterization of \(\Sigma_1^1\)-reflecting ordinals ⋮ Taming Koepke's zoo. II: Register machines ⋮ Lower bounds on \(\beta (\alpha)\) ⋮ THE ORDER OF REFLECTION
This page was built for publication: The next admissible ordinal