Perfect sets of random reals

DOI10.1007/BF02764640MaRDI QIDQ690050zbMATH OpenFDO

Authors Jörg Brendle, Haim Judah

Publication date 11 December 1994

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9209205

zbMATH Keywords

dominating realpreservation theoremperfect set of random reals

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35)

Abstract: 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).

Recommendations

• Adding dominating reals with ω^ω of bounding posets
• Mutual generics and perfect free subsets
• scientific article; zbMATH DE number 3943806
• No random reals in countable support iterations
• scientific article; zbMATH DE number 3948249

Cites work

• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3672284 (Why is no real title available?)
• scientific article; zbMATH DE number 3678157 (Why is no real title available?)
• scientific article; zbMATH DE number 218607 (Why is no real title available?)
• Adding Dominating Reals with the Random Algebra
• Additivity of Measure Implies Dominating Reals
• Around random algebra
• Iterations of Boolean algebras with measure
• Jumping with random reals
• Multiple Forcing
• On covering of real line by null sets
• The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
• The noncommutativity of random and generic extensions
• Why Solovay real produces Cohen real

Cited in

(9)

• Combinatorial properties of Hechler forcing
• Jumping with random reals
• Mutual generics and perfect free subsets
• Density zero slaloms
• On the Reals Which Cannot Be Random
• Sweet \& sour and other flavours of ccc forcing notions
• Adding dominating reals with ω^ω of bounding posets
• Random reals as measures of natural open sets
• Amoeba reals

This page was built for publication: Perfect sets of random reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690050)