Life without "Choice"
arXiv:2605.22026
Abstract
We propose an AC-independent proof of the existence of a non-measurable set as a consequence of the Hahn-Banach theorem of functional analysis which is known to be strictly weaker than AC.
Accepted, 13 pages