summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ordinal-zoo.tex4
1 files changed, 3 insertions, 1 deletions
diff --git a/ordinal-zoo.tex b/ordinal-zoo.tex
index bc06fcb..b7a64cd 100644
--- a/ordinal-zoo.tex
+++ b/ordinal-zoo.tex
@@ -180,7 +180,9 @@ are exactly the $\Delta^1_1$ (=hyperarithmetic) (resp. $\Pi^1_1$)
subsets of $\omega$, and they are also exactly the subsets recursive
(resp. semi-recursive) in $\mathsf{E}$ (or $\mathsf{E}^\#$, \CHECKTHIS
[this is stated vaguely and without proof in \cite[§2, introductory
- remarks]{HinmanMoschovakis1971}]).
+ remarks]{HinmanMoschovakis1971}, and also alluded to, but with an
+ argument, in \cite[chapter VI, introductory remarks to §6 on
+ p. 316]{Hinman1978}]).
\ordinal $\omega_\omega^{\mathrm{CK}}$: the smallest limit of
admissibles. This ordinal is not admissible. This is the smallest