[FOM] Second order ZFC

Harry Deutsch hdeutsch at ilstu.edu
Wed Sep 11 15:44:03 EDT 2013

This is sometimes confused with morse Kelly set theory, but the latter has a denumerable
model. Isn't this how to tell first from second order, as per Jensen's theorem?

Sent from my iPad

More information about the FOM mailing list