Monotone inductive definitions over the continuum
From MaRDI portal
Publication:4111547
DOI10.2307/2272958zbMath0344.02032OpenAlexW4238059114MaRDI QIDQ4111547
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/2272958
Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)
Related Items (4)
Inductive definability: Measure and category ⋮ HOW CAN WE RECOGNIZE POTENTIALLY ${\bf\Pi}^{0}_{\xi}$ SUBSETS OF THE PLANE? ⋮ Potential Wadge classes ⋮ ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
This page was built for publication: Monotone inductive definitions over the continuum