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:
“But, when nothing subsists from a distant past, after the death of others, after the destruction of objects, only the senses of smell and taste, weaker but more enduring, more intangible, more persistent, more faithful, continue for a long time, like souls, to remember, to wait, to hope, on the ruins of all the rest, to bring without flinching, on their nearly impalpable droplet, the immense edifice of memory.”
—Marcel Proust (1871–1922)
“... it seems to have been my luck to stumble into various forms of progress, to which I have been of the smallest possible use; yet for whose sake I have suffered the discomfort attending all action in moral improvements, without the happiness of knowing that this was clearly quite worth while.”
—Elizabeth Stuart Phelps (1844–1911)