From 4e11b97de71e1fe3c49cc86132a8fa33bea3d872 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 12 Nov 2015 15:05:41 +0100
Subject: Give a further pseudo-reference for the same statement.

---
 ordinal-zoo.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'ordinal-zoo.tex')

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
-- 
cgit v1.2.3

