From a5ee587a783006ce70dc570540d708877f23323d Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 23 Apr 2014 16:59:14 +0200
Subject: Fix obvious thinko.

---
 ordinal-zoo.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3