2
$\begingroup$

In Just Weese on page 197 there are the following corollaries:

enter image description here

enter image description here

enter image description here

enter image description here


Regarding Corollary 24: Is this a typo and should say "$CON(ZF) \not\rightarrow CON(ZF + \exists \text{ "a strongly inaccessible cardinal."})$"?

I can't see anything wrong with the implication "$CON(ZF) \rightarrow CON(ZF + \text{ "there are no strongly inaccessible cardinals."})$".

Many thanks for your help.

  • 1
    It should be $\mathcal P^\mathbf X(x)\subseteq\mathcal P^\mathbf V(x)$, I think. In the second line as well. We want $\bf X\subseteq V$, so it only makes sense that the power set in $\bf X$ is not-larger or even smaller.2012-12-22

1 Answers 1

0

The next two paragraph give a proof of Corollary 24. The content of this proof is that if there are no inaccessible cardinals then we are done; otherwise there is a least inaccessible $\lambda$, in which case Lemma 25 proves that $\langle V_\lambda,\overline\in\rangle$ is a model of ZF+"There are no inaccessible cardinals".

In either case we see that the proof actually proves:

$CON(\mathrm{ZF})\nrightarrow CON(\mathrm{ZF}+\exists\text{ a strongly inaccessible cardinal})$

Which also fits the two-liner proof based on Godel's incompleteness theorem which is given right after Corollary 24.

  • 0
    @Matt: The proof given actually shows that the implication holds, so indeed there is nothing wrong with it.2012-12-22