Stronger Forms of The Negation of AC
Now, consider stronger forms of the negation of AC. For example, if we abbreviate by BP the claim that every set of real numbers has the property of Baire, then BP is stronger than ¬AC, which asserts the nonexistence of any choice function on perhaps only a single set of nonempty sets. Note that strengthened negations may be compatible with weakened forms of AC. For example, ZF + DC + BP is consistent, if ZF is.
It is also consistent with ZF + DC that every set of reals is Lebesgue measurable; however, this consistency result, due to Robert M. Solovay, cannot be proved in ZFC itself, but requires a mild large cardinal assumption (the existence of an inaccessible cardinal). The much stronger axiom of determinacy, or AD, implies that every set of reals is Lebesgue measurable, has the property of Baire, and has the perfect set property (all three of these results are refuted by AC itself). ZF + DC + AD is consistent provided that a sufficiently strong large cardinal axiom is consistent (the existence of infinitely many Woodin cardinals).
Read more about this topic: Axiom Of Choice
Famous quotes containing the words stronger, forms and/or negation:
“He made all these and more,
Made all we see; and us, in spite: how else?
He could not, Himself, make a second self
To be His mate: as well have made Himself:
He would not make what He mislikes or slights,
An eyesore to Him, or not worth His pains;
But did, in envy, listlessness, or sport,
Make what Himself would fain, in a manner, be—
Weaker in most points, stronger in a few,
Worthy, and yet mere playthings all the while,
Things He admires and mocks too,—”
—Robert Browning (1812–1889)
““There is no exquisite beauty,” says Bacon, Lord Verulam, speaking truly of all the forms and genera of beauty, “without some strangeness in the proportion.””
—Edgar Allan Poe (1809–1849)
“Michelangelo said to Pope Julius II, “Self negation is noble, self-culture is beneficent, self-possession is manly, but to the truly great and inspiring soul they are poor and tame compared to self-abuse.” Mr. Brown, here, in one of his latest and most graceful poems refers to it in an eloquent line which is destined to live to the end of time—”None know it but to love it, None name it but to praise.””
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)