diff options
Diffstat (limited to 'ordinal-zoo.tex')
| -rw-r--r-- | ordinal-zoo.tex | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/ordinal-zoo.tex b/ordinal-zoo.tex index 54cdc13..e6377a0 100644 --- a/ordinal-zoo.tex +++ b/ordinal-zoo.tex @@ -277,7 +277,7 @@ $\Sigma^1_1$-inductively definable subsets of $\omega$ also \cite[example 4.14 on p. 370]{Simpson1978}). That this ordinal is gerater than that of •\ref{PiOneOne}: -\cite[corollary 1 to theorem 6 on p.213]{Anderaa1974}; also see: +\cite[corollary 1 to theorem 6 on p.213]{Aanderaa1974}; also see: \cite[theorem 6.5]{Simpson1978}. This is the smallest ordinal $\omega_1^{\mathsf{E}_1^\#}$ not the @@ -547,6 +547,12 @@ so $A \in L_\gamma$ with $\gamma$ countable, as asserted. \begin{thebibliography}{} +\bibitem[Aanderaa1974]{Aanderaa1974} Stål Aanderaa, “Inductive + Definitions and their Closure Ordinals”, \textit{in}: Jens Erik + Fenstad \& Peter G. Hinman (eds.), \textit{Generalized Recursion + Theory} (Oslo, 1972), North-Holland (1974), ISBN 0-7204-2276-0, + 207–220. + \bibitem[AbramsonSacks1976]{AbramsonSacks1976} Fred G. Abramson \& Gerald E. Sacks, “Uncountable Gandy Ordinals”, \textit{J. London Math. Soc. (2)} \textbf{14} (1976), 387–392. @@ -564,12 +570,6 @@ so $A \in L_\gamma$ with $\gamma$ countable, as asserted. \bibitem[Adams1981]{Adams1981} Douglas Adams, \textit{The Hitchiker's Guide to the Galaxy}, Pocket Books (1981), ISBN 0-671-46149-4. -\bibitem[Anderaa1974]{Anderaa1974} Stål Anderaa, “Inductive - Definitions and their Closure Ordinals”, \textit{in}: Jens Erik - Fenstad \& Peter G. Hinman (eds.), \textit{Generalized Recursion - Theory} (Oslo, 1972), North-Holland (1974), ISBN 0-7204-2276-0, - 207–220. - \bibitem[Barwise1975]{Barwise1975} Jon Barwise, \textit{Admissible sets and structures, An approach to definability theory}, Perspectives in Mathematical Logic \textbf{7}, Springer-Verlag |