MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\kappa$ be an infinite cardinal and let $B$ be the random forcing for adding $\kappa$-many random reals.

Question: What are the elements of $B$. More precisely given a condition $p \in B$, what are the domain and the range of $p$, if there are any?. What does it mean "a coordinate of $p$"?.

share|cite|improve this question
This question is more or less the same as this one: – Eran Oct 28 '11 at 17:12
I think that now there is somewhat of a stronger set theorists base in that this question can be asked there instead. – Asaf Karagila Oct 28 '11 at 18:34
@Eran: Not really, the question you linked to is about adding one random real. This one is more about the subtleties of the iteration. Note that there is at least two different ways of adding $\kappa$-many random reals. – Ramiro de la Vega Sep 9 '14 at 13:20
I just realized this question already has an accepted answer. Who is voting to close it three years later? and why? – Ramiro de la Vega Sep 9 '14 at 13:26
up vote 4 down vote accepted

There are different ways of representing $B$. One possibility is to let $B$ consist of all closed subsets of $2^\kappa$ of positive measure; another possibility is to allow all positive Borel sets. Two conditions are equivalent if their symmetric difference has measure zero.

Each basic clopen set has a finite set of coordinates. By ccc, each open set is almost the same as some open set that uses only countably many coordinates. So every closed/Borel set $p$ is equivalent to a set that uses only countably many coordinates. I guess that these are the "coordinates of $p$".

share|cite|improve this answer
It might be worth adding that the complete Boolean algebra associated to this notion of forcing is the algebra of Borel subsets of $2^\kappa$ modulo sets of measure 0. In particular, thanks to the ccc, this algebra really is complete, not just countably complete as one might at first think. – Andreas Blass Oct 28 '11 at 18:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.