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:
“For the “superior morality” of which we hear so much, we too would desire to be thankful: at the same time, it were but blindness to deny that this “superior morality” is properly rather an “inferior criminality” produced not by greater love of Virtue, but by greater perfection of Police; and of that far subtler and stronger Police, called Public Opinion.”
—Thomas Carlyle (1795–1881)
“The strongest and most effective [force] in guaranteeing the long-term maintenance of ... power is not violence in all the forms deployed by the dominant to control the dominated, but consent in all the forms in which the dominated acquiesce in their own domination.”
—Maurice Godelier (b. 1934)
“Friendship, according to Proust, is the negation of that irremediable solitude to which every human being is condemned.”
—Samuel Beckett (1906–1989)