# Questions tagged [axiom-of-choice]

An important and fundamental axiom in set theory sometimes called Zermelo's axiom of choice. It was formulated by Zermelo in 1904 and states that, given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty sets. The axiom of choice is related to the first of Hilbert's problems.

376 questions
Filter by
Sorted by
Tagged with
237 views

### Čech functions and the axiom of choice

A Čech closure function on $\omega$ is a function $\varphi:\mathcal P(\omega)\to\mathcal P(\omega)$ such that (i) $X\subseteq\varphi(X)$ for all $X\subseteq\omega$, (ii) $\varphi(\emptyset)=\emptyset$,...
197 views

2k views

216 views

### Polish transversals

A subset of $X$ an indecomposable continuum $Y$ is called a composant transversal if $X$ has exactly one point from each composant of $Y$. So a continuum has a composant transversal precisely when ...
264 views

### Exterior powers and choice

Under the assumption that any vector space has a basis (so under the assumption of the axiom of choice), we can prove the following algebraic statements : 1) If $\varphi:V\to W$ is an injective ...
347 views

### Relationship between AC, WO, and Zorn's lemma in ZF-Powerset

In regular ZF, AC, WO, and Zorn's Lemma are equivalent, but every proof I know (of the implication AC -> WO and AC -> Zorn) uses the axiom of choice on the powerset of X (where X is the Set which is ...
309 views

### Injection into a proper class and choice without regularity

In $\sf ZF$, we have that the axiom of choice is equivalent to: For all sets $X$, and for all proper classes $Y$, $X$ inject into $Y$ and For all sets $X$, and for all proper classes $Y$, $Y$ ...
241 views