$$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$
From MaRDI portal
Publication:2970972
DOI10.1007/978-3-319-50062-1_26zbMath1485.03179OpenAlexW2558837262MaRDI QIDQ2970972
Theodore A. Slaman, Richard A. Shore
Publication date: 4 April 2017
Published in: Computability and Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-50062-1_26
Descriptive set theory (03E15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Cites Work
This page was built for publication: $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$