Statement of Martin's Axiom
For any cardinal k we define an statement, denoted by MA(k):
For any partial order P satisfying the countable chain condition (hereafter ccc) and any family D of dense sets in P such that |D| ≤ k, there is a filter F on P such that F ∩ d is non-empty for every d in D.
Since it is a theorem of ZFC that MA(c) fails, the Martin's axiom is stated as:
Martin's Axiom (MA): For every k < c, MA(k) holds.
In this case (for application of ccc), an antichain is a subset A of P such that any two distinct members of A are incompatible (two elements are said to be compatible if there exists a common element below both of them in the partial order). This differs from, for example, the notion of antichain in the context of trees.
MA is simply true. This is known as the Rasiowa–Sikorski lemma.
MA is false: is a compact Hausdorff space, which is separable and so ccc. It has no isolated points, so points in it are nowhere dense, but it is the union of many points.
Read more about this topic: Martin's Axiom
Famous quotes containing the words statement of, statement, martin and/or axiom:
“It is commonplace that a problem stated is well on its way to solution, for statement of the nature of a problem signifies that the underlying quality is being transformed into determinate distinctions of terms and relations or has become an object of articulate thought.”
—John Dewey (1859–1952)
“No statement about God is simply, literally true. God is far more than can be measured, described, defined in ordinary language, or pinned down to any particular happening.”
—David Jenkins (b. 1925)
“Ijustwantto, like, dance. I just want to like, you know, put on some Shirelles. I just, I want to be black.”
—Paul D. Zimmerman, U.S. screenwriter, and Martin Scorsese. Masha (Sandra Bernhard)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)