\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_26MaRDI QIDQ2970972zbMATH OpenOpenAlexFDO

Authors Richard A. Shore, Theodore A. Slaman, 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

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Descriptive set theory (03E15)

Recommendations

• Σ½-sets of reals
• sets of reals
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• \(\Delta^ 1_ 2\)-sets of reals
• Every \(\aleph_1\)-\(\Sigma\)-CS module is \(\Sigma\)-CS.
• The class of purely unrectifiable sets in \(\ell_2\) is \(\Pi_1^1\)-complete
• scientific article; zbMATH DE number 889870
• On the Class  1, ℵ 0
• F_σ-mappings and the invariance of absolute Borel classes
• The $\gamma _p$ property and the reals

Cites work

• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• Descriptive set theory
• Spectra of theories and structures

Cited in

(1)

• Applications of infinity-Borel codes to definability and definable cardinals

This page was built for publication: $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$

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