Some algebraic equivalent forms of $\mathbb{R} \subseteq L$
Logic
2016-01-19 v1
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".
Keywords
Cite
@article{arxiv.1601.04433,
title = {Some algebraic equivalent forms of $\mathbb{R} \subseteq L$},
author = {Silvia Steila},
journal= {arXiv preprint arXiv:1601.04433},
year = {2016}
}
Comments
16 pages