%%% ====================================================================
%%%  @TeX-file{
%%%     author          = "David M. Jones",
%%%     version         = "1.08",
%%%     date            = "29 June 1995",
%%%     time            = "14:55:06 EDT",
%%%     filename        = "errata.tex",
%%%     address         = "MIT Laboratory for Computer Science
%%%                        Room NE43-316
%%%                        545 Technology Square
%%%                        Cambridge, MA 02139
%%%                        USA",
%%%     telephone       = "(617) 253-5936",
%%%     FAX             = "(617) 253-3480",
%%%     checksum        = "36057 243 901 7370",
%%%     email           = "dmjones@theory.lcs.mit.edu",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "",
%%%     supported       = "yes",
%%%     docstring       = "This is the list of errata for the first
%%%                        edition of {\em Hilbert's Tenth Problem\/}
%%%                        by Yuri Matiyasevich (MIT Press, 1993).
%%%
%%%                        This and related files are available via
%%%                        anonymous ftp from theory.lcs.mit.edu in
%%%                        the directory pub/hilbert10.  See the file
%%%                        ``README'' in that directory for a list and
%%%                        description of what is available.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

\documentstyle{article}

\def\descriptionlabel#1{\hspace\labelsep\bf\boldmath#1}

\setcounter{secnumdepth}{0}

\title{Errata and Additions:\\ {\em Hilbert's Tenth Problem\/}}

\author{Yuri V. Matiyasevich\\
MIT Press, 1993}

\date{29 June 1995 \\
Version 1.08}

\begin{document}

\maketitle

\subsection{Errata}

\begin{description}

\item[p. xviii, l. $-3$:]
Change ``responsibilty'' to ``responsibility''

\item[p. 23, l. 3:]
Insert a ``)'' after the ``$u$''. I.e., the line should read
\[
\dots, \langle\mathop{\rm arem}(\alpha_w(n),v), b, \mathop{\rm
arem}(\alpha_w(n),u)\rangle, \dots
\]

\item[p. 25, equation (2.2.34):]
Change ``$\alpha_b$'' to ``$\alpha_w$''.

\item[p. 31, l. 2:]
Change ``By (2.1.7)'' to ``By (2.2.7)''.

\item[p. 41, l. $-1$:]
Change ``(3.1.7)'' to ``(3.1.6)''.

\item[p. 56, l. $-5$:]
Change ``Kryauchyukas'' to ``Krjau{\v{c}}jukas''

\item[p. 98, l. $-3$:]
Change ``9'' to ``8''

\item[p. 118, equation (6.4.13):]
remove extra $+$

\item[p. 146, equation (7.3.58):]
Change ``$pn-1$'' to ``$p-1$''

\item[p. 146, equation (7.3.59):]
Change ``$pn-1$'' to ``$p-1$''

\item[p. 146, l. 10:]
Change ``$pn$'' to ``$p$''

\item[p. 164, equation (8.2.1):]
Change equation number to just ``(1)''

\item[p. 164, ll. 11--12:]
Change to ``Unsolved problem 8.1 was posed by Adleman and Manders
[1976] (see also Manders and Adleman [1978]).  They introduced''

\item[p. 164, l. $-7$, $-6$:]
Change to ``direction is reported to Adelman and Manders~[1976] (see
also Manders and Adelman~[1978]) and by Venkatesan and Rajagoplan
[1992].  The class {\bf NP}''

\item[p. 194, l. $-15$:]
Change ``(1.7)'' to ``(10.1.7)''

\item[p. 194, l. $-9$:]
Change ``(1.1)'' to ``(10.1.1)''

\item[p. 195, l. 1:]
Change ``(1.1)'' to ``(10.1.1)''

\item[p. 200, l. $-15$:]
Change to ``By (1.11) and (1.12),''

\item[p. 200, l. $-13$:]
Change ``(13)'' to ``(1.13)''

\item[p. 200, l. $-8$:]
Change ``(11) and (14)'' to ``(1.11) and (1.14)''

\item[p. 200, l. $-6$:]
Change ``(12) and (11)'' to ``(1.12) and (1.11)''

\item[p. 216, hint 7.2:]
Change ``Smorinski'' to ``Smory\'nski''

\item[p. 225, Church {[1936]}:]
Add ``Reprinted in Martin Davis, editor, {\em The Undecidable}, pages
88--107.  Raven Press, Hewlett, New York, 1965.'' to the end of the
entry

\item[p. 225, Da\'nko {[1980]}:]
Add ``Da\'nko [1981] is a slightly expanded version of this paper.''
to the end of the entry.

\item[p. 229, G\"odel {[1931]}:]
On the next to last line, change ``1879--1831'' to ``1879--1931''.
Also insert ``)'' at end of entry.

\item[p. 232, Hilbert {[1900]}:]
insert ``)'' at end of entry

\item[p. 237, l. $-11$:]
Change ``Kryauchyukas'' to ``Krjau{\v{c}}jukas''

\item[p. 237, l. $-10$:]
Insert ``V. Yu. Kryauchyukas.'' before ``Diofantovo''

\item[p. 240, Manevitz {[1976a]}:]
The issue numbers are missing: change ``25:'' to ``25(3--4):''

\item[p. 241, Matiyasevich {[1971d]}:]
Change ``pages 171--177, Amsterdam.  North-Holland.'' to ``pages
171--177.  North-Holland, Amsterdam.''

\item[p. 242, Matiyasevich {[1973]}:]
Change ``Patrick Suppes et~al.'' to ``Patrick Suppes, Leon Henkin,
Athanase Joja, and Gr.~C. Moisil''.  Also change ``pages 89--110,
Amsterdam.  North-Holland.'' to ``pages 89--110.  North-Holland,
Amsterdam.''

\item[p. 242, Matiyasevich {[1984]}:]
Last line: Change ``168(3):227--252'' to ``168:227--252''

\item[p. 244, Mijajlovic, et. al.:]
Change ``Croation'' to ``Croatian''

\item[p. 246, Post {[1936]}:]
Add ``Reprinted in Martin Davis, editor, {\em The Undecidable}, pages
288--291.  Raven Press, Hewlett, New York, 1965.'' to the end of the
entry.

\item[p. 246, Post {[1944]}:]
Add ``Reprinted in Martin Davis, editor, {\em The Undecidable}, pages
292--303.  Raven Press, Hewlett, New York, 1965.'' to the end of the
entry.

\item[p. 247, Robinson {[1973]}:]
Change ``pages 137--154, Amsterdam.  North-Holland.'' to ``pages
137--154.  North-Holland, Amsterdam.''

\item[p. 248, Robinson {[1973]}:]
Change ``pages 63--67, Amsterdam.  North-Holland.'' to ``pages 63--67.
North-Holland, Amsterdam.''

\item[p. 253, Turing {[1936]}:]
Add ``Reprinted in Martin Davis, editor, {\em The Undecidable}, pages
115--151.  Raven Press, Hewlett, New York, 1965.'' to the end of the
entry.

\item[p. 253, Turing {[1937]}:]
Add ``Reprinted in Martin Davis, editor, {\em The Undecidable}, pages
152-154.  Raven Press, Hewlett, New York, 1965.'' to the end of the
entry.

\item[p. 253, Turing {[1939]}:]
Add ``Reprinted in Martin Davis, editor, {\em The Undecidable}, pages
154--222.  Raven Press, Hewlett, New York, 1965.'' to the end of the
entry.

\item[p. 255, l. $-5$:]
Replace ``Gosudarstvenny/vi'' by ``Gosudarstvenny\u\i''

\item[p. 260, col. 2, l. 12:]
Change ``Kryauchyukas'' to ``Krjau{\v{c}}jukas''

\end{description}

\subsection{Additions to the bibliography}

\def\section*#1{}

\begin{thebibliography}{1}

\bibitem{AlloucheSh92}
Jean-Paul Allouche and Jeffrey Shallit.  The ring of $k$-regular
sequences.  {\em Theoretical Computer Science}, 98(2):163--197, May
1992.

\bibitem{Bockmayr87}
Alexander Bockmayr.  A note on a canonical theory with undecidable
unification and matching problem.  {\em Journal of Automated
Reasoning}, 3(4):379--381, 1987.

\bibitem{GasarchSm92}
William~I. Gasarch and Carl.~H. Smith.  Learning via queries.  {\em
Journal of the ACM}, 39(3):649--674, July 1992.

\bibitem{Wolfson92}
Ouri Wolfson.  Parallel evaluation of {Datalog} programs by load
sharing.  {\em Journal of Logic Programming}, 12(4):369--393, April
1992.

\end{thebibliography}

\end{document}
