diff options
| author | David A. Madore <david+git@madore.org> | 2014-04-23 16:59:14 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2014-04-23 16:59:14 +0200 |
| commit | a5ee587a783006ce70dc570540d708877f23323d (patch) | |
| tree | 5fbebe4c8165bed0f02140f80261d496c1d05a6a | |
| parent | 195c53462a4208d8f543851ffae741856170b13b (diff) | |
| download | ordinal-zoo-a5ee587a783006ce70dc570540d708877f23323d.tar.gz ordinal-zoo-a5ee587a783006ce70dc570540d708877f23323d.tar.bz2 ordinal-zoo-a5ee587a783006ce70dc570540d708877f23323d.zip | |
Fix obvious thinko.
| -rw-r--r-- | ordinal-zoo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ordinal-zoo.tex b/ordinal-zoo.tex index 0f94365..14cd108 100644 --- a/ordinal-zoo.tex +++ b/ordinal-zoo.tex @@ -414,7 +414,7 @@ or equivalently, the smallest $\alpha$ such that $L_\alpha \models \ordinal The smallest ordinal $\alpha$ such that $L_\alpha \models \mathsf{ZFC}^-+$“$\omega_1$ exists”, or equivalently such that -$L_\alpha \models \mathsf{KP}+$“$\mathscr{P}(\omega)$ exists” +$L_\alpha \models \mathsf{ZFC}^-+$“$\mathscr{P}(\omega)$ exists” (cf. proposition \ref{KPExistenceOfOmegaOneImpliesExistenceOfPOmega}). This is the start of the first third-order gap (\cite[theorem 3.7 on p. 372]{MarekSrebrny1973}) in the constructible universe. |