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:
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)
“I think, therefore I am is the statement of an intellectual who underrates toothaches.”
—Milan Kundera (b. 1929)
“I believe entertainment can aspire to be art, and can become art, but if you set out to make art you’re an idiot.”
—Steve Martin (b. 1945)
“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an axiom appears a paradox, or that a sarcasm is converted into a sermonoid.”
—Edgar Allan Poe (1809–1845)