Changes and additions for the Consequences of the Axiom of Choice Project

Last Update 4/14/06

To see the PDF version of a form enter its number below.

The form number

A list of changes is below.

You may get the most recent version of the References for Table I by holding down the shift key and clicking on rfb1.tex . (This file was last updated on 8/5/06.) Updated versions of book1 and book2 can be created by running mk_book.c after you obtain the file rfb1.tex. (Hold down the shift key and click here mk_book.c for the program mk_book.c.)

To get the most recent list of forms that are true and false in each Cohen model hold down the shift key and click on: Forms in Cohen models, tex version If you would like a PDF version click on Forms in Cohen models, pdf version To get the most recent list of forms that are true and false in each Fraenkel-Mostowski model hold down the shift key and click on: Forms in Fraenkel-Mostowski models, tex version If you would like a PDF version click on Forms in Fraenkel-Mostowski models, pdf version (These file were last updated on 8/5/06.)

The file models.dat, which is on the floppy disk enclosed with the book, is incomplete. (The file models.dat is used by the program weakac.)
If you purchased the book you should replace this file. The replacement file can be obtained by holding down the shift key and clicking on original models.dat . A replacement for models.dat may also be obtained from Paul Howard at phoward@emunix.emich.edu.
If you have made all of the corrections described below then you may obtain an updated version of models.dat by holding down the shift key and clicking on updated models.dat (last updated 4/14/06)

The list of changes by year

  1. The 1998 changes
  2. The 1999 changes
  3. The 2000 changes
  4. The 2001 changes
  5. The 2002 changes
  6. The 2005 changes
  7. The 2006 changes

To send e-mail to Paul Howard, click the following:

Send E-Mail to Howard

Number of visitors to this page since June 21, 1999: