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:
“The reality is that zero defects in products plus zero pollution plus zero risk on the job is equivalent to maximum growth of government plus zero economic growth plus runaway inflation.”
—Dixie Lee Ray (b. 1924)
“The idea which man forms of beauty imprints itself throughout his attire, rumples or stiffens his garments, rounds off or aligns his gestures, and, finally, even subtly penetrates the features of his face.”
—Charles Baudelaire (1821–1867)