Random Forcing
- P is the set of Borel subsets of of positive measure, where p is called stronger than q if it is contained in q. The generic set G then encodes a "random real": the unique real xG in all rational intervals V such that V is in G. This real is "random" in the sense that if X is any subset of V of measure 1, lying in V, then xG ∈ X.
Read more about this topic: List Of Forcing Notions
Famous quotes containing the words random and/or forcing:
“And catch the gleaming of a random light,
That tells me that the ship I seek is passing, passing.”
—Paul Laurence Dunbar (1872–1906)
““Who cares what they say? It’s a nice way to live,
Just taking what Nature is willing to give,
Not forcing her hand with harrow and plow.””
—Robert Frost (1874–1963)