Mathematics – Logic
Scientific paper
2008-06-11
Mathematics
Logic
Latex2e: 21 pages Latest version at http://www.math.wisc.edu/~miller
Scientific paper
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B is a G-delta-sigma set, then either B is countable or B contains a perfect subset. Second, we prove that if the real line is the countable union of countable sets, then there exists an F-sigma-delta set which is uncountable but contains no perfect subset. Finally, we construct a model of ZF in which we have an infinite Dedekind finite set of reals which is F-sigma-delta.
No associations
LandOfFree
A Dedekind Finite Borel Set does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Dedekind Finite Borel Set, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Dedekind Finite Borel Set will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-689812