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:
“The force of a death should be enormous but how can you know what kind of man you’ve killed or who was the braver and stronger if you have to peer through layers of glass that deliver the image but obscure the meaning of the act? War has a conscience or it’s ordinary murder.”
—Don Delillo (b. 1926)
“When we speak the word “life,” it must be understood we are not referring to life as we know it from its surface of fact, but to that fragile, fluctuating center which forms never reach.”
—Antonin Artaud (1896–1948)
“We make a mistake forsaking England and moving out into the periphery of life. After all, Taormina, Ceylon, Africa, America—as far as we go, they are only the negation of what we ourselves stand for and are: and we’re rather like Jonahs running away from the place we belong.”
—D.H. (David Herbert)