[FOM] Hahn Banach and the Baire Property
D.R. MacIver
drm39 at cam.ac.uk
Fri Mar 4 12:10:20 EST 2005
Does anyone happen to know (and ideally have a cite for) whether it is
known if the Hahn Banach theorem implies the existence of a subset of R
without the Baire Property (in ZF say)? I'm presuming it does, as it proves
the existence of a non-measurable subset of R, but I can't seem to find a
reference one way or the other.
(Sorry for the rather analysis-like question, but I think it really is
still FOM. Especially as it's entirely possible that the only way to answer
it is to construct a certain model of set theory!)
Thanks,
David R. MacIver
More information about the FOM
mailing list