The axiom-of-choice tag has no wiki summary.

**82**

votes

**15**answers

14k views

### Why worry about the axiom of choice?

As I understand it, it has been proven that the axiom of choice is independent of the other axioms of set theory. Yet I still see people fuss about whether or not theorem X depends on it, and I don't ...

**29**

votes

**6**answers

2k views

### Is the non-triviality of the algebraic dual of an infinite-dimensional vector space equivalent to the axiom of choice?

If $V$ is given to be a vector space that is not finite-dimensional, it doesn't seem to be possible to exhibit an explicit non-zero linear functional on $V$ without further information about $V$. The ...

**26**

votes

**0**answers

806 views

### Concerning the various proofs from the axiom of choice that R^3 admits of surprising geometrical decompositions into circles, skew lines and so on: can we prove in any instance that there are no Borel such decompositions? Or that AC is required?

This question follows up on a comment I made on Joseph O'Rourke's
recent question, one of several questions here on mathoverflow
concerning surprising geometric partitions of space using the axiom
of ...

**16**

votes

**3**answers

1k views

### Probabilities in a riddle involving axiom of choice

The question is about a modification of the following riddle (you can think about it before reading the answer if you like riddles, but that's not the point of my question):
The Riddle:
We assume ...

**16**

votes

**2**answers

987 views

### What is a Choice Principle, really?

This question is quite soft, and I apologize in advance if it borderline off-topic.
When working in theories between ZF and ZFC the term "choice principle" is heard quite often. For example:
$\quad$ ...

**52**

votes

**3**answers

5k views

### Does every non-empty set admit a group structure (in ZF)?

It is easy to see that in ZFC, any non-empty set $S$ admits a group structure: for finite $S$ identify $S$ with a cyclic group, and for infinite $S$, the set of finite subsets of $S$ with the binary ...

**34**

votes

**4**answers

3k views

### Does the fact that this vector space is not isomorphic to its double-dual require choice?

Let $V$ denote the vector space of sequences of real numbers that are eventually 0, and let $W$ denote the vector space of sequences of real numbers. Given $w \in W$ and $v \in V$, we can take their ...

**23**

votes

**4**answers

6k views

### Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...

**29**

votes

**1**answer

2k views

### Does $2^X=2^Y\Rightarrow |X|=|Y|$ imply the axiom of choice?

The Generalized Continuum Hypothesis can be stated as $2^{\aleph_\alpha}=\aleph_{\alpha+1}$. We know that GCH implies AC (Jech, The Axiom of Choice, Theorem 9.1 p.133).
In fact, a relatively weak ...

**30**

votes

**1**answer

2k views

### Dual Schroeder-Bernstein theorem

This question was motivated by the comments to Dual of Zorn's Lemma?
Let's denote by the Dual Schroeder-Bernstein theorem (DSB) the statement
For any sets $A$ and $B$, if there are ...

**22**

votes

**1**answer

1k views

### If $V$ is a vector space with a basis. $W\subseteq V$ has to have a basis too?

Suppose $V$ is a vector space, we say that $\mathcal B$ is a basis for $V$ if:
Every $v\in V$ can be written as a linear combination of elements of $\mathcal B$;
If $\sum\alpha_i b_i = 0$, where ...

**17**

votes

**2**answers

574 views

### How much choice is needed to show that formally real fields can be ordered?

Background: a field is formally real if -1 is not a sum of squares of elements in that field. An ordering on a field is a linear ordering which is (in exactly the sense that you would guess if you ...

**9**

votes

**4**answers

2k views

### Finite axiom of choice: how do you prove it from just ZF?

The axiom of choice asserts the existence of a choice function for any family of sets F. Suppose, however, that F is finite, or even that F just has one set. Then how do we prove the existence of a ...

**17**

votes

**2**answers

958 views

### Axiom of Choice: Ultrafilter vs. Vitali set

It is well known that from a free (non-principal) ultrafilter on $\omega$ one can define a non-measurable set of reals. The older example of a non-measurable set is the Vitali set,
a set of ...

**14**

votes

**2**answers

1k views

### Does ZFC prove the universe is linearly orderable?

It is consistent with ZFC that the universe is well-ordered, e.g. in $V=L$ where global choice holds. I also know that it is consistent that global choice fails (although I have no immediate example ...

**10**

votes

**1**answer

665 views

### Can an infinite number of mathematicians guess the number in a box with only one error?

In this question the following observation was made:
Consider a sequence of boxes numbered 0, 1, ... each containing one real number. The real number cannot be seen unless the box is opened.
Define ...

**8**

votes

**0**answers

429 views

### Full conditional probabilities and versions of AC?

A probability is a finitely additive measure on a boolean algebra with total measure $1$.
A function $P:\scr B \times (\scr B - \{ 0 \})$ is a full conditional probability on $\scr B$ (for a boolean ...

**21**

votes

**2**answers

1k views

### Hahn's Embedding Theorem and the oldest open question in set theory

Hans Hahn is often credited with creating the modern theory of ordered algebraic systems with the publication of his paper Über die nichtarchimedischen Grössensysteme (Sitzungsberichte der ...

**15**

votes

**2**answers

671 views

### Haar measures in Solovay's model

Haar measure is a measure on locally compact abelian groups which is invariants to translations. For example, the Lebesgue measure on the reals is such measure.
It can be shown without the use of the ...

**12**

votes

**1**answer

383 views

### Without choice, can every homomorphism from a profinite group to a finite group be continuous?

In ZFC, some homomorphisms from profinite groups to finite groups are discontinuous. For instance, see the examples in this question. However, all three constructions given use consequences of the ...

**12**

votes

**1**answer

602 views

### Sizes of bases of vector spaces without the axiom of choice

Assuming the axiom of choice does not hold we have that there is a vector space without a basis. The situation can be, in some sense, worse. It is consistent that there are vector spaces that have two ...

**7**

votes

**1**answer

330 views

### Can there be a global linear ordering of the universe without a global well-ordering of the universe?

This question arose in the answers to Asaf Karagila's
question Does ZFC prove that the universe is linearly orderable?. The answer there was that one can have a ZFC model with no global linear ...

**6**

votes

**1**answer

363 views

### Strictly order preserving maps into the integers

If $P$ and $P'$ are partial orders, a strictly order preserving map from $P$ to $P'$ is an $f:P\to P'$ satisfying that $x\lt y$ implies $f(x)\lt f(y)$ for all $x,y\in P$.
An interval in $P$ is a set ...

**6**

votes

**2**answers

1k views

### Compact Hausdorff spaces without isolated points in ZF

S is uncountable := |$\mathbb{N}$| < |S|
S is noncountable := |S| $\not\leq |\mathbb{N}|$
(X,$T$) is a nice space := (X,$T$) is a compact Hausdorff space without isolated points
Does [ ZF / ...

**9**

votes

**1**answer

295 views

### Cardinals without choice: interpolation (reference wanted)

Is there a published reference for this ZF theorem?
Let $m,n\in\mathbb{N}$. If $a_1,\dots,a_m$ and $b_1,\dots,b_n$ are cardinals such that $a_i\le b_j$ for all $i$ and $j$, then there is a cardinal ...

**8**

votes

**1**answer

220 views

### Can $\mathbb{R}$ be partitioned into dedekind-finite sets?

Assuming $ZF$ itself is consistent, it is consistent that there are sets $D$ which are infinite but cannot be placed in bijection with any of their proper subsets; such sets are called "strictly ...

**6**

votes

**1**answer

343 views

### Symmetric extensions and class forcing

Suppose $V\models ZFC$ and $P\in V$ is a poset of forcing conditions.
It is a basic theorem in forcing that $V[G]\models ZFC$ for any generic extension by a $V$-generic filter $G$.
It is also known ...

**5**

votes

**4**answers

182 views

### Is every Heyting algebra the Lindenbaum algebra of an intuitionistic first order theory?

This question comes after the comments in the recent related question Sigma-complete Lindenbaum algebras?, but in its current form is sufficiently different in my opinion, and so I decided to follow ...

**4**

votes

**2**answers

547 views

### Are all models of ZF + DC + “All set of reals are lebesgue measurable” also models of CH? [duplicate]

Possible Duplicate:
Lebesgue Measurability and Weak CH
I have studied a little set theory and I found that Solovay constructed a model of ZF+DC+"All set of reals are Lebesgue measurable" and ...

**2**

votes

**0**answers

148 views

### How many Dedekind-finite sets can $\mathbb{R}$ be partitioned into?

Building off Asaf Karagila's answer to my previous question (Can $\mathbb{R}$ be partitioned into dedekind-finite sets?) on partitioning $\mathbb{R}$ into strictly Dedekind-finite sets:
(1) What ...