paperDefinable Hamel bases and ACω(R)arXiv:1901.04750AbstractThere is a model of ZF with a Δ31 definable Hamel basis in which ACω(R) fails.