## 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 ...

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$ ...

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 ...

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 ...

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 ...

Top 50 recent answers are included

#### Related Tags

axiom-of-choice × 535set-theory × 405

lo.logic × 242

reference-request × 39

forcing × 38

large-cardinals × 35

gn.general-topology × 28

fa.functional-analysis × 21

linear-algebra × 21

measure-theory × 21

model-theory × 21

ct.category-theory × 19

descriptive-set-theory × 15

fields × 15

gr.group-theory × 13

ac.commutative-algebra × 13

vector-spaces × 12

topos-theory × 10

ultrafilters × 10

axioms × 10

continuum-hypothesis × 10

ra.rings-and-algebras × 9

graph-theory × 8

order-theory × 8

infinite-combinatorics × 8