Definable Hamel bases and $AC_\omega(R)$
Logic
2019-02-08 v2
Abstract
There is a model of ZF with a Δ31 definable Hamel basis in which ACω(R) fails.
Cite
@article{arxiv.1901.04750,
title = {Definable Hamel bases and $AC_\omega(R)$},
author = {Vladimir Kanovei and Ralf Schindler},
journal= {arXiv preprint arXiv:1901.04750},
year = {2019}
}
Related papers
View all related →
Logic · Mathematics
PFA and the definability of the nonstationary ideal
Stefan Hoffelner, Paul Larson, Ralf Schindler, Liuzhen Wu
2025-04-16
Logic · Mathematics
Definability over $\mathrm B\Sigma^0_2$-models
Chi Tat Chong, Tin Lok Wong
2025-10-22
Logic · Mathematics
Naturality and Definability II
Wilfrid Hodges, Saharon Shelah
2007-05-23
Logic · Mathematics
On ground model definability
Victoria Gitman, Thomas A. Johnstone
2013-11-27
Representation Theory · Mathematics
A cellular algebra with certain idempotent decomposition
Kentaro Wada
2008-05-09
Logic · Mathematics
Set theory without choice: not everything on cofinality is possible
Saharon Shelah
2008-02-03
Rings and Algebras · Mathematics
On elements in algebras having finite number of conjugates
Victor Bovdi
2007-05-23
Logic in Computer Science · Computer Science
Realizability algebras III: some examples
Jean-Louis Krivine
2018-03-20
Quantum Physics · Physics
Finite enumerable but undecidable collections
Adonai S. Sant'Anna
2007-05-23
General Mathematics · Mathematics
Free Algebra with Countable Basis
Aleks Kleyn
2012-11-30
Logic · Mathematics
Square and Delta reflection
Laura Fontanella, Yair Hayut
2016-02-04
Probability · Mathematics
Fractal percolation is unrectifiable
Zoltán Buczolich, Esa Järvenpää, Maarit Järvenpää, Tamás Keleti +1
2021-04-01
Operator Algebras · Mathematics
Deformation of operator algebras by Borel cocycles
Jyotishman Bhowmick, Sergey Neshveyev, Amandip Sangha
2013-05-29
Logic · Mathematics
Maximal models up to the first measurable in ZFC
John T. Baldwin, Saharon Shelah
2021-11-03
Logic · Mathematics
A model of second-order arithmetic satisfying AC but not DC
Sy-David Friedman, Victoria Gitman, Vladimir Kanovei
2018-08-16
Logic · Mathematics
Variations on $\Delta^1_1$ Determinacy and $\aleph_{\omega_1}$
Ramez L. Sami
2022-06-20
Logic · Mathematics
Models of Set Theory: Extensions and Dead-ends
Ali Enayat
2026-04-07
Logic in Computer Science · Computer Science
Switchability and collapsibility of Gap Algebras
Barnaby Martin, Dmitriy Zhuk
2015-10-22
High Energy Physics - Theory · Physics
Graded parafermions: standard and quasi-particle bases
P. Jacob, P. Mathieu
2016-09-06
Computational Complexity · Computer Science
A Stronger Foundation for Computer Science and P=NP
Mark Inman
2018-04-24
Logic · Mathematics
An implication of G\"odel's incompleteness theorem
Hitoshi Kitada
2009-05-25
General Topology · Mathematics
Countable dense homogeneous filters and the Menger covering property
Dušan Repovš, Lyubomyr Zdomskyy, Shuguo Zhang
2014-06-04
Logic · Mathematics
The full basis theorem does not imply analytic wellordering
Vladimir Kanovei, Vassily Lyubetsky
2017-02-21
Quantum Algebra · Mathematics
Realizations of Affine Lie Algebra A_^(1) at Negative Levels
Jilan Dong, Naihuan Jing
2015-06-02
Logic · Mathematics
The $\omega$-th inner mantle
Kameryn J. Williams
2021-06-16