diff options
| -rw-r--r-- | ordinal-zoo.tex | 4 |
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 |