Rasiowa–Sikorski lemma

In axiomatic set theory, the Rasiowa–Sikorski lemma (named after Helena Rasiowa and Roman Sikorski) is one of the most fundamental facts used in the technique of forcing. In the area of forcing, a subset E of a poset (P, ≤) is called dense in P if for any pP there is eE with ep. If D is a family of dense subsets of P, then a filter F in P is called D-generic if

FE ∅ for all ED.

Now we can state the Rasiowa–Sikorski lemma:

Let (P, ≤) be a poset and pP. If D is a countable family of dense subsets of P then there exists a D-generic filter F in P such that pF.

Proof of the Rasiowa–Sikorski lemma

The proof runs as follows: since D is countable, one can enumerate the dense subsets of P as D1, D2, …. By assumption, there exists pP. Then by density, there exists p1p with p1D1. Repeating, one gets … ≤ p2p1p with piDi. Then G = { qP: ∃ i, qpi} is a D-generic filter.

The Rasiowa–Sikorski lemma can be viewed as an equivalent to a weaker form of Martin's axiom. More specifically, it is equivalent to MA().

Examples

  • For (P, ≤) = (Func(X, Y), ⊇), the poset of partial functions from X to Y, reverse-ordered by inclusion, define Dx = {sP: x ∈ dom(s)}. If X is countable, the Rasiowa–Sikorski lemma yields a {Dx: xX}-generic filter F and thus a function F: XY.
  • If we adhere to the notation used in dealing with D-generic filters, {HG0: PijPt} forms an H-generic filter.
  • If D is uncountable, but of cardinality strictly smaller than 20 and the poset has the countable chain condition, we can instead use Martin's axiom.

See also

  • Generic filter – in set theory, given a collection of dense open subsets of a poset, a filter that meets all sets in that collection
  • Martin's axiom – axiom in mathematical logic that all cardinals less than the cardinality of the continuum behave like ℵ₀ in a specific sense

References

    • Ciesielski, Krzysztof (1997). Set theory for the working mathematician. London Mathematical Society Student Texts. Vol. 39. Cambridge: Cambridge University Press. ISBN 0-521-59441-3. Zbl 0938.03067.
    • Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics. Vol. 102. North-Holland. ISBN 0-444-85401-0. Zbl 0443.03021.
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.