summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2015-11-12 14:05:41 (GMT)
committerDavid A. Madore <david+git@madore.org>2015-11-12 14:05:41 (GMT)
commit4e11b97de71e1fe3c49cc86132a8fa33bea3d872 (patch)
tree1a83cc7a05c8498531b54af87840e6de1268abaf
parentd57d142e4786f8998256994bcdc375450b3cccea (diff)
downloadordinal-zoo-4e11b97de71e1fe3c49cc86132a8fa33bea3d872.zip
ordinal-zoo-4e11b97de71e1fe3c49cc86132a8fa33bea3d872.tar.gz
ordinal-zoo-4e11b97de71e1fe3c49cc86132a8fa33bea3d872.tar.bz2
Give a further pseudo-reference for the same statement.
-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