Some algebraic equivalent forms of $\mathbb{R}\subseteq L$

Abstract

We study ${\Sigma }_2^1$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".

arXiv comment16 pages