From TheBestLinks.com
The axiom of countable choice or axiom of denumerable choice is an axiom of set theory similar to the axiom of choice. It states that a countable collection of sets must have a choice function. Paul Cohen showed that this is not provable in ZF. This axiom is required for the development of analysis; in particular, many results depend on having a choice function for a countable set of real numbers (considered as sets of Cauchy sequences of rationals).
The axiom of choice clearly implies the axiom of dependent choice, and the axiom of dependent choice is sufficient to show the axiom of countable choice. The axiom of countable choice is strictly weaker than each of these axioms.
Related links
Top visited
0 of
0 links
[no links posted yet]
>> place link >>
Discussion
Last posted
0 of
0 messages
[no messages posted yet]
>> post message >>
Watch
You can
add this article to your own "watchlist" and receive e-mail notification about all changes in this page.
