Weaker Forms
There are several weaker statements that are not equivalent to the axiom of choice, but are closely related. One example is the axiom of dependent choice (DC). A still weaker example is the axiom of countable choice (ACω or CC), which states that a choice function exists for any countable set of nonempty sets. These axioms are sufficient for many proofs in elementary mathematical analysis, and are consistent with some principles, such as the Lebesgue measurability of all sets of reals, that are disprovable from the full axiom of choice.
Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization. The former is equivalent in ZF to the existence of an ultrafilter containing each given filter, proved by Tarski in 1930.
Read more about this topic: Axiom Of Choice
Famous quotes containing the words weaker and/or forms:
“Women have their heads in their hearts. Man seems to have been destined for a superior being; as things are, I think women generally better creatures than men. They have weaker appetites and weaker intellects but much stronger affections. A man with a bad heart has been sometimes saved by a strong head; but a corrupt woman is lost forever.”
—Samuel Taylor Coleridge (1772–1834)
“From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.”
—Charles Darwin (1809–1882)