Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$

DOI10.4064/fm909-6-2020zbMath1485.03200arXiv1901.04750OpenAlexW3113194278MaRDI QIDQ5162560

Kanovei, Vladimir, Ralf-Dieter Schindler

Publication date: 3 November 2021

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

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

zbMATH Keywords

Hamel basisSacks forcingJensen forcingCohen-Halpern-Lévy model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Related Items (1)

On Russell typicality in set theory

Cites Work

• Unnamed Item
• Unnamed Item
• A countable definable set containing no definable elements
• Infinite combinatorics and definability
• Sacks forcing, Laver forcing, and Martin's axiom
• What is the theory without power set?
• Lusin Sets and Well Ordering the Continuum
• Hamel bases and well–ordering the continuum
• On the Leibniz–Mycielski axiom in set theory
• Measure and other properties of a Hamel basis

This page was built for publication: Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$