Definable Hamel bases and $AC_\omega(R)$

arxiv: 1901.04750 · v2 · pith:5FKW7VALnew · submitted 2019-01-15 · 🧮 math.LO

Definable Hamel bases and AC_ω(R)

Vladimir Kanovei , Ralf Schindler This is my paper

classification 🧮 math.LO

keywords definablehamelomegabasesbasisdeltafailsmodel

0 comments

read the original abstract

There is a model of ZF with a $\Delta^1_3$ definable Hamel basis in which $AC_\omega(R)$ fails.

This paper has not been read by Pith yet.