All Questions
Tagged with independence-results axiom-of-choice
7 questions
13
votes
0
answers
325
views
$\mathsf{AC}_\mathsf{WO}+\mathsf{AC}^\mathsf{WO}\Rightarrow \mathsf{AC}$?
Let
$\mathsf{AC}_\mathsf{WO}$: Every well-orderable family of non-empty sets has a choice function.
$\mathsf{AC}^\mathsf{WO}$: Every family of non-empty well-orderable sets has a choice function.
My ...
- 2,286
3
votes
1
answer
975
views
Implications of the existence of a pair of surjective functions, without Axiom of Choice
The classical Cantor-Schroder-Bernstein Theorem says that there exists a bijective function $X\leftrightarrow Y$ if and only if there exist injective functions $X\hookrightarrow Y$ and $Y\...
- 41.8k
5
votes
1
answer
325
views
Is Axiom of Choice equivalent to its version for families of sets, indexed by ordinals? [duplicate]
Is Axiom of Choice equivalent to the following statement?
Axiom of Ordinal Choice: For any ordinal $\lambda$ and any indexed family of sets $(X_\alpha)_{\alpha\in\lambda}$ there exists a function $...
- 41.8k
9
votes
1
answer
482
views
Relationship between AC, WO, and Zorn's lemma in ZF-Powerset
In regular ZF, AC, WO, and Zorn's Lemma are equivalent, but every proof I know (of the implication AC -> WO and AC -> Zorn) uses the axiom of choice on the powerset of X (where X is the Set which is ...
- 1,799
10
votes
2
answers
3k
views
Independence of the countable axiom of choice
How does one proove that the Countable axiom of choice is not provable in ZF?Is there any brief proof?Does the Independence of the countable axiom of choice implies the independence of the axiom of ...
- 101
9
votes
2
answers
1k
views
Relationship between fragments of the axiom of choice and the dependent choice principles
The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...
- 2,240
10
votes
3
answers
2k
views
Reference Request: Independence of the ultrafilter lemma from ZF
I'm looking for references for the following facts concerning the ultrafilter lemma (~ "there exist non-principal ultrafilters"):
The ultrafilter lemma is independent of ZF.
ZF + the ultrafilter ...
- 1,347