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

Abstract

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