summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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.