[FOM] A typo corrected (re ZFC with classes)

Ali Enayat enayat at american.edu
Mon May 24 18:17:52 EDT 2004

In my recent posting on Kelley-Morse set theory KM (Vol 17, Issue 22),
there is a silly typo, where I wrote:

>Roughly speaking, (KM/ZF)  ~  (PA/Second order arithmetic).

What I *meant* to write was:

(ZF/KM)  ~  (PA/Second order arithmetic).

Ali Enayat

More information about the FOM mailing list