New answers tagged axiom-of-choice
2
votes
Does $\mathsf{ZF}$ prove $\operatorname{Col}(\lambda,\kappa)$ preserves cardinals below $\lambda$?
First of all, note that if $\lambda$ is a singular limit cardinal, then the forcing is terribly behaved already in $\sf ZFC$. Even if $\lambda$ is a successor, you'd still find that the same argument ...
- 37.7k
4
votes
Does $\mathsf{ZF}$ prove $\operatorname{Col}(\lambda,\kappa)$ preserves cardinals below $\lambda$?
Re the first question: No. Suppose $\lambda$ is a singular cardinal of cofinality $\omega$. Then the forcing collapses all cardinals $\leq\lambda$. For let
$\left<A_n\right>_{n<\omega}\in V$ ...
- 7,514
1
vote
An equivalent of the axiom of choice?
Yes.
The problem's statement can be reformulated as follows. Suppose that for any set $X$ there exists a function $f: (2^X\setminus \{\emptyset\})\to X$ mapping any nonempty subset (of escapees) to ...
2
votes
An equivalent of the axiom of choice?
With such shared/common knowledge problems, even when AC isn't involved, I think a crucial first step is to get away from the "story" version. For example, since this is only interesting ...
- 19k
8
votes
Accepted
Is Morse-Kelley set theory with Class Choice bi-interpretable with itself after removing Extensionality for classes?
No, because the latter theories has parametrically definable automorphisms that swap two equivalent classes, but the former theory is definably rigid (no need for class choice). If the theories were ...
- 219k
21
votes
Accepted
Are Berkeley cardinals easier to refute in ZFC than Reinhardt cardinals?
Yes, it is easier to refute Berkeleys than Reinhardts. There is a very simple refutation of Berkeleys in ZFC that is due to Woodin. It is part of the motivation for his contention that Berkeley ...
- 6,889
Top 50 recent answers are included