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:
“The honor my country shall never be stained by an apology from me for the statement of truth and the performance of duty; nor can I give any explanation of my official acts except such as is due to integrity and justice and consistent with the principles on which our institutions have been framed.”
—Andrew Jackson (1767–1845)
“The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.”
—Ralph Waldo Emerson (1803–1882)
“Today everything is different. I can’t even get decent food. Right after I got here I ordered some spaghetti with marinara sauce and I got egg noodles and catsup. I’m an average nobody, I get to live the rest of my life like a schnook.”
—Nicholas Pileggi, U.S. screenwriter, and Martin Scorsese. Henry Hill (Ray Liotta)
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)