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

  1. Changes in January, 2002
  2. Changes in April-May, 2002


    (Note, since 383 implies 232, it follows that 232 and 383 are equivalent in ZF$^0$ because it was shown in Howard/Keremedis/Rubin/Stanley [2002a] that 232 implies 383. Change forms 383, [383 A]-[383 C] to [232 H]-[232 K].)

  3. Make the following changes and additions to the notes

    Revision to note 94:


    Add a new note 157.


    Add a new note 158.


  4. Changes in June-July 2002