Definable Hamel bases and AC_ω(R)

2019/01/15 by Kanovei, Vladimir, Schindler, Ralf
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1901.04750

Abstract

There is a model of ZF with a Δ¹₃ definable Hamel basis in which AC_ω(R) fails.

Related

• The full basis theorem does not imply analytic wellordering
• A model with everything except for a well-ordering of the reals
• A Streamlined Proof of \mathfrakp=\mathfrakt
• Connected Hamel bases in Hilbert spaces
• Hanf numbers for Extendibility and related phenomena