FOM: a correction holmes at
Wed Mar 8 15:57:06 EST 2000

I said

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.

				--Randall Holmes

More information about the FOM mailing list