In Model N19 in the list of forms that are false, replace 153 by 152, then the list of forms that are false in this model are as follows:
A minimal list of forms at least one of which is implied by each form known
to be false in the model:
15, 51, 59, 118, 144, 192, 152, 253, 328.
A list of all forms known to be false in the model:
1, 15, 40, 51, 59, 66, 67, 89, 90, 95, 101, 109, 112, 114, 118, 133, 144,
149, 152, 179, 192, 202, 214, 218, 253, 255, 256, 257, 258, 259, 260, 261,
262, 264, 286, 292, 328, 333, 334, 335, 347, 359, (383).
In part V, References for relationships between forms, remove the line:
126 5 (3) Saveev [1975] (M6)
and in the file rfb1.tex remove the line:
126 5 (3) Saveev [1975] (M6)
or get the most recent version of rfb1.tex.
Then run the program mk_book to correct tables 1 and 2.
Several forms have been shown equivalent to form 94. For these changes choose one of the two below:
Some results of De la Cruz and Di Prisco have been added to the project. For these additions choose one of the two below:
In the bibliography, change Howard/Keremedis/Rubin/Rubin [1997a] and [1997b]
to:
In the bibliography, change Brunner/Howard/Rubin [1996] to:
Further Changes in November 1998
The descriptions of the models N15, N17 and N36($\beta$) have been revised. For these revisions choose one of the two below:
M. Higasikawa has brought to our attention the fact that we had not included
some results from Higasikawa [1995] in our book. Consequently, add a new
form to Part I.
FORM 75. If a set has at least two elements, then it can be partitioned into
well ordered subsets, each of which has at least two elements.
Higasikawa[1995].
(This form should be added to the section ORDERING PRINCIPLES INCLUDING
PROPERTIES OF PARTIAL ORDERS, I. Linear And Well Orderings, in PART II.)
Also, add two lines to note 120.
57. 20 + 75 implies 3, Higasikawa [1995].
58. 20 + 75 implies 359, Higasikawa [1995].
We have also made additional changes to rfb1.tex (Part V). (After down loading
the most recent version of rfb1.tex, run the program mk_book.c to get the
updated versions of book1 and book2.)