Some algebraic equivalent forms of $\mathbb{R} \subseteq L$
  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". 
Silvia Steila
math.LO