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

preprint2016arXivOpen access

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

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Write a reviewWrite

No reviews yet.

Add a commentWrite

No comments yet.

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

Abstract

Connections

Building this map preview

Reviews 0

Discussion 0

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

Abstract

Connections

Building this map preview

Reviews 0

Discussion 0

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