Martin's Axiom - Equivalent Forms of MA(k)

Equivalent Forms of MA(k)

The following statements are equivalent to Martin's axiom:

  • If X is a compact Hausdorff topological space which satisfies the ccc then X is not the union of k or fewer nowhere dense subsets.
  • If P is a non-empty upwards ccc poset and Y is a family of cofinal subsets of P with |Y| ≤ k then there is an upwards directed set A such that A meets every element of Y.
  • Let A be a non-zero ccc Boolean algebra and F a family of subsets of A with |F| ≤ k. Then there is a boolean homomorphism φ: A → Z/2Z such that for every X in F either there is an a in X with φ(a) = 1 or there is an upper bound b for X with φ(b) = 0.

Read more about this topic:  Martin's Axiom

Famous quotes containing the words equivalent and/or forms:

    “In truth, politeness is artificial good humor, it covers the natural want of it, and ends by rendering habitual a substitute nearly equivalent to the real virtue.”
    —Thomas Jefferson (1743–1826)

    “The poet’s eye, in a fine frenzy rolling,
    Doth glance from heaven to earth, from earth to heaven;
    And as imagination bodies forth
    The forms of things unknown, the poet’s pen
    Turns them to shapes, and gives to airy nothing
    A local habitation and a name.”
    —William Shakespeare (1564–1616)