Mathematics – Logic
Scientific paper
1992-09-15
Mathematics
Logic
Scientific paper
We discuss the relationship between perfect sets of random reals, dominating reals, and the product of two copies of the random algebra B. Recall that B is the algebra of Borel sets of 2^omega modulo the null sets. Also given two models M subseteq N of ZFC, we say that g in omega^omega cap N is a dominating real over M iff forall f in omega^omega cap M there is m in omega such that forall n geq m (g(n) > f(n)); and r in 2^omega cap N is random over M iff r avoids all Borel null sets coded in M iff r is determined by some filter which is B-generic over M. We show that there is a ccc partial order P which adds a perfect set of random reals without adding a dominating real, thus answering a question asked by the second author in joint work with T. Bartoszynski and S. Shelah some time ago. The method of the proof of this result yields also that B times B does not add a dominating real. By a different argument we show that B times B does not add a perfect set of random reals (this answers a question that A. Miller asked during the logic year at MSRI).
Brendle Jörg
Judah Haim
No associations
LandOfFree
Perfect sets of random reals 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 Perfect sets of random reals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Perfect sets of random reals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-170224