Category:Examples of Use of Axiom of Countable Choice

From ProofWiki
Jump to navigation Jump to search

This category contains examples of use of Axiom:Axiom of Countable Choice.

Form 1

Let $\sequence {S_n}_{n \mathop \in \N}$ be a sequence of non-empty sets.

The axiom of countable choice states that there exists a sequence:

$\sequence {x_n}_{n \mathop \in \N}$

such that $x_n \in S_n$ for all $n \in \N$.


Form 2

Let $S$ be a countable set of non-empty sets.


Then $S$ has a choice function.

Pages in category "Examples of Use of Axiom of Countable Choice"

The following 47 pages are in this category, out of 47 total.