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

Silvia Steila

arxiv: 1601.04433 · v1 · pith:RBWCAOXUnew · submitted 2016-01-18 · 🧮 math.LO

Some algebraic equivalent forms of mathbb{R} subseteq L

Silvia Steila This is my paper

classification 🧮 math.LO

keywords equivalentalgebraicformssomeconstructiblecontinuumcounterpartsdefinable

0 comments

read the original 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".

This paper has not been read by Pith yet.

Some algebraic equivalent forms of mathbb{R} subseteq L

discussion (0)