diff options
| author | David A. Madore <david+git@madore.org> | 2015-11-12 15:05:41 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2015-11-12 15:05:41 +0100 |
| commit | 4e11b97de71e1fe3c49cc86132a8fa33bea3d872 (patch) | |
| tree | 1a83cc7a05c8498531b54af87840e6de1268abaf | |
| parent | d57d142e4786f8998256994bcdc375450b3cccea (diff) | |
| download | ordinal-zoo-4e11b97de71e1fe3c49cc86132a8fa33bea3d872.tar.gz ordinal-zoo-4e11b97de71e1fe3c49cc86132a8fa33bea3d872.tar.bz2 ordinal-zoo-4e11b97de71e1fe3c49cc86132a8fa33bea3d872.zip | |
Give a further pseudo-reference for the same statement.
| -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 |