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:
“Accountability in friendship is the equivalent of love without strategy.”
—Anita Brookner (b. 1938)
“A monarchy is the most expensive of all forms of government, the regal state requiring a costly parade, and he who depends on his own power to rule, must strengthen that power by bribing the active and enterprising whom he cannot intimidate.”
—James Fenimore Cooper (1789–1851)