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

DOI10.4064/FM643-10-2018zbMATH Open1480.03040arXiv1601.04433OpenAlexW2962879615MaRDI QIDQ5226507FDOQ5226507

Silvia Steila

Publication date: 31 July 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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".

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)

Cites Work

• Problems and theorems in classical set theory
• Descriptive set theory
• Infinite combinatorics and definability
• Title not available (Why is that?)
• Title not available (Why is that?)
• On non-denumerable graphs
• Countable decompositions of \({\mathbb{R}}^2\) and \({\mathbb{R}}^3\)
• Countable partitions of Euclidean space
• Avoidable algebraic subsets of Euclidean space
• Definable Davies' theorem
• The \(\Sigma_2^1\) counterparts to statements that are equivalent to the continuum hypothesis
• Another algebraic equivalent of 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)