Some algebraic equivalent forms of ℝ ⊆ L

2016/01/18 by Silvia Steila, Steila, Silvia
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1601.04433

16 pages

arxiv created 2016/01/18 · arxiv updated 2016/01/19

Abstract

We study Σ¹₂ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

Related

• The \mathbfΣ¹₂ counterparts to statements that are equivalent to the Continuum Hypothesis
• Weakly infinite dimensional subsets of R^N
• Universally measurable sets may all be Delta¹₂
• The complexity of the reals in inner models of set theory
• Independence of the Continuum Hypothesis: an Intuitive Introduction