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:
“Perhaps basketball and poetry have just a few things in common, but the most important is the possibility of transcendence. The opposite is labor. In writing, every writer knows when he or she is laboring to achieve an effect. You want to get from here to there, but find yourself willing it, forcing it. The equivalent in basketball is aiming your shot, a kind of strained and usually ineffective purposefulness. What you want is to be in some kind of flow, each next moment a discovery.”
—Stephen Dunn (b. 1939)
“While waiting to get married, several forms of employment were acceptable. Teaching kindergarten was for those girls who stayed in school four years. The rest were secretaries, typists, file clerks, or receptionists in insurance firms or banks, preferably those owned or run by the family, but respectable enough if the boss was an upstanding Christian member of the community.”
—Barbara Howar (b. 1934)