A splitting theorem for simple Π11 Sets

DOI10.2307/2269950MaRDI QIDQ4773692zbMATH OpenOpenAlexFDO

Authors James C. jun. Owings

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

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• On the degrees less than 0'

This page was built for publication: A splitting theorem for simple Π₁¹ Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4773692)