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

[Rupert McCallum]

In

www.ams.org/notices/200602/fea-mycielski.pdf

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