[FOM] Second order ZFC

Robert Solovay solovay at gmail.com
Wed Sep 11 17:30:18 EDT 2013


What is "Jensen's Theorem"?

-- Bob Solovay
On Sep 11, 2013 1:22 PM, "Harry Deutsch" <hdeutsch at ilstu.edu> wrote:

> 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
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130911/59ece927/attachment.html>


More information about the FOM mailing list