FOM: a correction
holmes at catseye.idbsu.edu
Wed Mar 8 15:57:06 EST 2000
Consistency proofs for NFU with these axioms can be given in ZFC (and
could be given as well in type theory with large cardinal assumptions,
and so can be given in NFU itself plus large cardinal assumptions).
of course, since the extensions of NFU under construction may be
stronger than ZFC, I should have said "ZFC + large cardinal assumptions"
just as I mentioned large cardinal assumptions in connection with type
theory and NFU.
More information about the FOM