[FOM] Mycielski's "A System of Axioms of Set Theory for the Rationalists"

Rupert McCallum Rupert.McCallum at acu.edu.au
Fri Dec 4 20:50:52 EST 2009



Mycielski says that it can be proved in ZFC+"there is a supercompact cardinal" that ST is consistent, where ST is an extension of ZFC+"there is a proper class of strongly compact cardinals."

But elsewhere it is said that it is an open question whether ZFC+"there is a strongly compact cardinal" and ZFC+"there is a supercompact cardinal" are equiconsistent.

Surely one of these two claims must be wrong.

Dr Rupert McCallum
Lecturer in Mathematics
(02) 9701 4050

More information about the FOM mailing list