summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2014-04-23 16:59:14 +0200
committerDavid A. Madore <david+git@madore.org>2014-04-23 16:59:14 +0200
commita5ee587a783006ce70dc570540d708877f23323d (patch)
tree5fbebe4c8165bed0f02140f80261d496c1d05a6a
parent195c53462a4208d8f543851ffae741856170b13b (diff)
downloadordinal-zoo-a5ee587a783006ce70dc570540d708877f23323d.tar.gz
ordinal-zoo-a5ee587a783006ce70dc570540d708877f23323d.tar.bz2
ordinal-zoo-a5ee587a783006ce70dc570540d708877f23323d.zip
Fix obvious thinko.
-rw-r--r--ordinal-zoo.tex2
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.