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

DOI10.4064/FM643-10-2018MaRDI QIDQ5226507zbMATH OpenOpenAlexFDO

Authors Silvia Steila

Publication date 31 July 2019

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.04433

zbMATH Keywords

continuum hypothesisalgebraically independent setsconstructible realsavoidable polynomialsrationally independent sets

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50)

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

Cites work

• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 3212886 (Why is no real title available?)
• Another algebraic equivalent of the continuum hypothesis
• Avoidable algebraic subsets of Euclidean space
• Countable decompositions of \({\mathbb{R}}^2\) and \({\mathbb{R}}^3\)
• Countable partitions of Euclidean space
• Definable Davies' theorem
• Descriptive set theory
• Infinite combinatorics and definability
• On non-denumerable graphs
• Problems and theorems in classical set theory
• The \(\Sigma_2^1\) counterparts to statements that are equivalent to the continuum hypothesis

This page was built for publication: Some algebraic equivalent forms of $\mathbb {R}\subseteq L$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5226507)