{"id":"arxiv/2605.22026","url":"https://arxiv.org/abs/2605.22026","tags":["math.FA"],"score":0,"title":"Life without \"Choice\"","domain":"math.FA","source":"arxiv","authors":["M. A. Sofi"],"reviews":0,"subject":"math.FA","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-21","reactions":{}}