diff options
| -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. |