linguistic:paraphrasing, linguistic:voice_change
Random reals

Random forcing can be defined as forcing over the set P {\displaystyle P} of all compact subsets of {\displaystyle } of positive measure ordered by relation ⊆ {\displaystyle \subseteq } (smaller set in context of inclusion is smaller set in ordering and represents condition with more information). There are two types of important dense sets:

For any filter G {\displaystyle G} and for any finitely many elements p 1, …, p n ∈ G {\displaystyle p_{1},\ldots,p_{n}\in G} there is q ∈ G {\displaystyle q\in G} such that holds q ≤ p 1, …, p n {\displaystyle q\leq p_{1},\ldots,p_{n}}. In case of this ordering, this means that any filter is set of compact sets with finite intersection property. For this reason, intersection of all elements of any filter is nonempty. If G {\displaystyle G} is a filter intersecting the dense set D n {\displaystyle D_{n}} for any positive integer n {\displaystyle n}, then the filter G {\displaystyle G} contains conditions of arbitrarily small positive diameter. Therefore, the intersection of all conditions from G {\displaystyle G} has diameter 0. But the only nonempty sets of diameter 0 are singletons. So there is exactly one real number r G {\displaystyle r_{G}} such that r G ∈ ⋂ G {\displaystyle r_{G}\in \bigcap G}.

Let B ⊆ {\displaystyle B\subseteq } be any Borel set of measure 1. If G {\displaystyle G} intersects D B {\displaystyle D_{B}}, then r G ∈ B {\displaystyle r_{G}\in B}.

However, a generic filter over a countable transitive model V {\displaystyle V} is not in V {\displaystyle V}. The real r G {\displaystyle r_{G}} defined by G {\displaystyle G} is provably not an element of V {\displaystyle V}. The problem is that if p ∈ P {\displaystyle p\in P}, then V ⊨ {\displaystyle V\models } " p {\displaystyle p} is compact", but from the viewpoint of some larger universe U ⊃ V {\displaystyle U\supset V}, p {\displaystyle p} can be non-compact and the intersection of all conditions from the generic filter G {\displaystyle G} is actually empty. For this reason, we consider the set C = { p ¯: p ∈ G } {\displaystyle C=\{{\bar {p}}:p\in G\}} of topological closures of conditions from G (i.e., p ¯ = p ∪ { inf (p) } ∪ { sup (p) } {\displaystyle {\bar {p}}=p\cup \{\inf(p)\}\cup \{\sup(p)\}}). Because of p ¯ ⊇ p {\displaystyle {\bar {p}}\supseteq p} and the finite intersection property of G {\displaystyle G}, the set C {\displaystyle C} also has the finite intersection property. Elements of the set C {\displaystyle C} are bounded closed sets as closures of bounded sets. Therefore, C {\displaystyle C} is a set of compact sets with the finite intersection property and thus has nonempty intersection. Since diam (p ¯) = diam (p) {\displaystyle \operatorname {diam} ({\bar {p}})=\operatorname {diam} (p)} and the ground model V {\displaystyle V} inherits a metric from the universe U {\displaystyle U}, the set C {\displaystyle C} has elements of arbitrarily small diameter. Finally, there is exactly one real that belongs to all members of the set C {\displaystyle C}. The generic filter G {\displaystyle G} can be reconstructed from r G {\displaystyle r_{G}} as G = { p ∈ P: r G ∈ p ¯ } {\displaystyle G=\{p\in P:r_{G}\in {\bar {p}}\}}.

If a {\displaystyle a} is name of r G {\displaystyle r_{G}}, and for B ∈ V {\displaystyle B\in V} holds V ⊨ {\displaystyle V\models } " B {\displaystyle B} is Borel set of measure 1", then holds

for some p ∈ G {\displaystyle p\in G}. There is name a {\displaystyle a} such that for any generic filter G {\displaystyle G} holds

Then

holds for any condition p {\displaystyle p}.

Every Borel set can, non-uniquely, be built up, starting from intervals with rational endpoints and applying the operations of complement and countable unions, a countable number of times. The record of such a construction is called a Borel code. Given a Borel set B {\displaystyle B} in V {\displaystyle V}, one recovers a Borel code, and then applies the same construction sequence in V {\displaystyle V}, getting a Borel set B ∗ {\displaystyle B^{*}}. It can be proven that one gets the same set independent of the construction of B {\displaystyle B}, and that basic properties are preserved. For example, if B ⊆ C {\displaystyle B\subseteq C}, then B ∗ ⊆ C ∗ {\displaystyle B^{*}\subseteq C^{*}}. If B {\displaystyle B} has measure zero, then B ∗ {\displaystyle B^{*}} has measure zero. This mapping B ↦ B ∗ {\displaystyle B\mapsto B^{*}} is injective.

For any set B ⊆ {\displaystyle B\subseteq } such that B ∈ V {\displaystyle B\in V} and V ⊨ {\displaystyle V\models } " B {\displaystyle B} is a Borel set of measure 1" holds r ∈ B ∗ {\displaystyle r\in B^{*}}.

This means that r {\displaystyle r} is "infinite random sequence of 0s and 1s" from the viewpoint of V {\displaystyle V}, which means that it satisfies all statistical tests from the ground model V {\displaystyle V}.

So given r {\displaystyle r}, a random real, one can show that

Because of the mutual inter-definability between r {\displaystyle r} and G {\displaystyle G}, one generally writes V {\displaystyle V} for V {\displaystyle V}.

A different interpretation of reals in V {\displaystyle V} was provided by Dana Scott. Rational numbers in V {\displaystyle V} have names that correspond to countably-many distinct rational values assigned to a maximal antichain of Borel sets – in other words, a certain rational-valued function on I = {\displaystyle I=}. Real numbers in V {\displaystyle V} then correspond to Dedekind cuts of such functions, that is, measurable functions.