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.
576
questions
8
votes
1
answer
240
views
Non-Ramsey functions $c:[\omega]^\omega\to\{0,1\}$ and the Axiom of Choice
Let $[\omega]^\omega$ denote the collection of infinite subsets of $\omega$, and let $c:[\omega]^\omega\to\{0,1\}$ be a function. We say that $a\in [\omega]^\omega$ is monochromatic with respect to $c$...
7
votes
2
answers
603
views
Involutions in the absolute Galois group (and the Axiom of Choice)
It is known that the only elementary abelian $2$-groups (finite and nonfinite) in $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ are in fact finite and cyclic – that is to say, they are of order $2$....
4
votes
0
answers
221
views
stating large cardinal axioms in ZF
Can I ask whether there is a good reference for how to state the standard large cardinal axioms in the context of $ZF$? My concern is that it seems that the usual proof that embeddings defined from ...
1
vote
0
answers
732
views
Finding a unique and finite expected value for almost all measurable functions?
Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
9
votes
1
answer
622
views
Small Violations of Choice: Can we force AC without collapsing the cardinalities of ordinals?
We say that a model $M$ of $\mathsf{ZF}$ satisfies Small Violations of Choice ($\mathsf{SVC}$) if all (any) of the following apply:
There is a model $V\subseteq M$ such that $V\vDash\mathsf{ZFC}$, ...
10
votes
2
answers
715
views
Class-theoretic division paradox
The Division Paradox is the fact that there are models of ${\sf ZF \neg C}$ in which a set can be partitioned into a set that is bigger than it — equivalently, in which there are sets $X$ and $Y$ such ...
3
votes
0
answers
199
views
Basic cardinal arithmetic without choice
Do we know everything about addition and multiplication of cardinalities in choiceless set theory?
For example, let $M$ be a model of $\textsf{ZF}+\textsf{AD}+V=L(\mathbb{R})$, consider the sets $\...
14
votes
1
answer
1k
views
Stone-Weierstrass Theorem without AC
To what extent does the usual Stone-Weierstrass Theorem depend on some form of the Axiom of Choice? There seems to be a lot of literature on constructive versions in toposes, but I have been unable ...
2
votes
0
answers
114
views
Elementary abelian 2-subgroups of $\mathrm{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$ (with and without choice)
Consider the absolute Galois group $G_{\mathbb{Q}} := \mathrm{Aut}(\overline{\mathbb{Q}}/\mathbb{Q})$.
As I understand it, the only torsion elements have order $2$ (by Artin-Schreier), and they are ...
7
votes
0
answers
310
views
What is the strongest form of the Axiom of Choice available in $\mathsf{Z}_{2}$?
$\mathsf{Z}_{2}$ denotes second-order arithmetic. Some forms of AC are expressible in $\mathsf{Z}_{2}$; for example the $\mathsf{\Sigma}_{1}^{1}$ axiom of choice is part of the theory $\mathsf{ATR}_{0}...
5
votes
1
answer
515
views
Large cardinals in ZF + DC + AD
The Axiom of Dependent Choice (DC) is often considered to be an "intuitive and non-controversial" version of choice used in the proofs of many theorems in Analysis. Similarly, the Axiom of ...
6
votes
1
answer
486
views
Automorphisms of algebraically closed fields without the Axiom of Choice
In the paper Algebraische Konsequenzen des Determiniertheits-Axioms (U. Felgner – K. Schulz, Arch. Math. (Basel) 42 (1984), pp. 557–563), the authors show that in models of Zermelo-Fraenkel set theory ...
6
votes
0
answers
161
views
Weak trichotomy principle in the absence of choice
It is well known that the trichotomy property of cardinals ($∀κ,λ\in\operatorname{Card}(κ<λ∨κ=λ∨κ>λ)$) is equivalent to the axiom of choice.
D. Feldman and M. Orhon had defined in [1] a ...
-2
votes
1
answer
199
views
Does cardinal definable choice imply AC?
Recall the definition of cardinal definable sets, to re-iterate:
$Define: X \text { is cardinal definable} \iff \\\exists \text { cardinal } \kappa \, \exists \text { cardinals } \lambda_1,.., \...
4
votes
1
answer
202
views
Exactly how much (and how little) can partial ordered sets (classes) embed to the cardinalities
In the paper "Convex Sets of Cardinals", Truss mentioned a result of Jech:
If $M$ is a countable transitive model of ZFC, and $(P,<)∈M$ is a poset, then there exists a Cohen extension of ...