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 6085
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.
41
votes
1
answer
5k
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 surjections from $ …
- 32.5k
35
votes
6
answers
3k
views
Distinct well-orderings of the same set
An easy consequence of the Erdős-Dushnik-Miller theorem $\kappa\to(\kappa,\omega)^2$ is the following, that will denote $(*)$ (it appears as an exercise in Kunen's book, it was probably mentioned exp …
- 32.5k
22
votes
1
answer
3k
views
Splitting infinite sets
There are two questions here, an explicit one, and another (more vague) one that motivates it:
I am pretty certain the following should have a negative answer, but at the moment I'm not seeing how to …
- 32.5k
12
votes
0
answers
432
views
On the division paradox
This question is partly motivated by Timothy Chow's recent question on the division paradox.
Say that a set $X$ admits a paradoxical partition if and only if there is an equivalence relation $\sim$ on …
- 32.5k
7
votes
1
answer
924
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 …
- 32.5k
6
votes
1
answer
3k
views
Countably generated $\sigma$-algebras of ${\mathcal P}({\mathbb R})$ and choice
It is consistent with ${\sf ZF}$ that the reals are the countable union of countable sets. Since any countable set is Borel, it follows that in any such pathological universe, let's call it $W$, every …
- 32.5k