View Related Documents

Abstract

We show that the existence of a perfect set of random reals over a modelM ofZFC does not imply the existence of a dominating real overM, thus answering a well-known open question (see [BJ 1] and [JS 2]). We also prove that \mathbbB ×\mathbbB\mathbb{B} \times \mathbb{B} (the product of two copies of the random algebra) neither adds a dominating real nor adds a perfect set of random reals (this answers a question that A. Miller asked during the logic year at MSRI).
The first author would like to thank the MINERVA-foundation for supporting him.
The second author would like to thank the Basic Research Foundation (the Israel Academy of Sciences and Humanities) for supporting him.

Fulltext Preview

Image of the first page of the fulltext document