$$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$

DOI10.1007/978-3-319-50062-1_26zbMath1485.03179MaRDI QIDQ2970972

Theodore A. Slaman, Richard A. Shore, Leo Harrington

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

Mathematics Subject Classification ID

03E15: Descriptive set theory

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Cites Work

• Descriptive set theory
• Spectra of theories and structures
• Unnamed Item