# Tagged Questions

The axiom of choice is a common set-theoretic axiom with many equivalents and consequences. This tag is for questions on where we use it in certain proofs, and how things would work without the assumption of this axiom.

315 views

### Fields whose algebraic closure cannot be constructed without the axiom of choice

One can show that the statement that every field has an algebraic closure requires the axiom of choice. However, for almost all "everyday" fields, it seems that one can actually produce an algebraic ...
297 views

### Spanning the reals with a small set - choicelessly

Working in ZF (so, no choice): is it possible that there is a set of reals $X$ such that $\vert X\vert<\mathbb{R}$, but $X$ generates $\mathbb{R}$ as a subgroup under addition? This seems ...
134 views

### Choice in a Particular HOD Type Model

Let $V \models ZFC$. Let $P$ be a forcing and $G \subseteq P$ be generic over $V$. Let $x \in V[G]$. Let $M$ be the class of set that are hereditarily definable (in $V[G]$) using as parameters $x$ ...
324 views

### Proving equivalence of a tree-based version of Countable Choice for families of finite sets.

In this paper by Good and Tree, the following result is mentioned without proof as part of Proposition 6.5: Each of the following statements imply those beneath it. The countable union of ...
350 views

### A few standard results (on metrizability and relative separation strength) without choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things.... I know that Choice principles have some connection to the separation axioms (in ZF, at least)--...
106 views

### How do I prove that $S_A\cong S_B\implies |A|=|B|$?

Let $A,B$ be infinite sets such that $S_A\cong S_B$. (Symmetric groups are group isomorphic) How do I prove that $|A|=|B|$? The only proof I know uses Axiom of choice. (That is, using AC to give ...
122 views

### Connectedness of parts used in the Banach–Tarski paradox

A quote from the Wikipedia article "Axiom of choice": One example is the Banach–Tarski paradox which says that it is possible to decompose the 3-dimensional solid unit ball into finitely many ...