On characterizing Spector classes
From MaRDI portal
Publication:4071219
DOI10.2307/2272264zbMath0312.02033OpenAlexW2133501474MaRDI QIDQ4071219
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272264
Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55)
Cites Work
This page was built for publication: On characterizing Spector classes