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:
“When the masculine mystique is pulling boys and men out into the world to growl manly noises at one another, the only power with a stronger pull on the male psyche is maternally induced guilt. The guilt is quite necessary for our moral development, but it is often uncomfortable.”
—Frank Pittman (20th century)
“Of the three forms of pride, that is to say pride proper, vanity, and conceit, vanity is by far the most harmless, and conceit by far the most dangerous. The meaning of vanity is to think too much of our bodily advantages, whether real or unreal, over others; while the meaning of conceit is to believe we are cleverer, wiser, grander, and more important than we really are.”
—John Cowper Powys (1872–1963)
“An “unemployed” existence is a worse negation of life than death itself.”
—José Ortega Y Gasset (1883–1955)