A splitting theorem for simple Π11 Sets
From MaRDI portal
Publication:4773692
DOI10.2307/2269950zbMath0287.02025OpenAlexW2102130396MaRDI QIDQ4773692
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269950
Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)
Cites Work
This page was built for publication: A splitting theorem for simple Π11 Sets