Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with axiom-of-choice
Search options questions only
not deleted
user 478588
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.
3
votes
1
answer
323
views
What are some "easy" violations of $\mathsf{SVC}$?
By $\mathsf{SVC}$, I mean "small violations of choice", which is the statement
$$(\exists S)(\forall X)(\exists f)``f\colon S\times\text{Ord}\to X\text{ is a surjection}".$$
Such an $S$ is called the …
- 2,186
29
votes
4
answers
1k
views
What choice principles does "every set is in bijection with a transitive set" imply?
A set $X$ is transitive if $x\in y\in X\implies x\in X$. We shall say $\mathsf{TC}$ to mean the axiom "For all $X$ there is transitive $Y$ such that $|X|=|Y|$", where $|X|=|Y|$ means that there is a b …
- 2,186
12
votes
2
answers
616
views
Can there be a proper class of Dedekind-finite cardinals?
To formalise the question: Does $\mathsf{ZF}$ prove the existence of an ordinal $\alpha$ such that, whenever $X$ is Dedekind-finite, there is an injection $X\to V_\alpha$? (Equivalently the existence …
- 2,186
5
votes
1
answer
133
views
References for the axiom of surjective comparability
The axiom $W_\kappa$, for $\kappa$ a cardinal, is the statement that for all sets $X$, either $|X|\leq\kappa$ (that is, there is an injection $X\to\kappa$) or $\kappa\leq|X|$. Is there literature on t …
- 2,186
6
votes
1
answer
173
views
Does $\mathsf{SVC}^\ast$ exist?
$\mathsf{SVC}(S)$ is the assertion that for all sets $X$ there is an ordinal $\eta$ and a surjection $f\colon\eta\times S\to X$. I would like to denote by $\mathsf{SVC}^\ast(S)$ the same assertion but …
- 2,186
10
votes
1
answer
666
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}$, an …
- 2,186
10
votes
1
answer
327
views
Reference request: The non-productivity of Lindenbaum numbers
For a set $X$, the Lindenbaum number of $X$, $\aleph^*(X)$, is the least non-zero ordinal $\alpha$ such that there is no surjection $X\to\alpha$. It seems to be well-known that for infinite sets $X$ a …
- 2,186