[FOM] Mycielski's "A System of Axioms of Set Theory for the Rationalists"
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