[FOM] A proof that ZFC has no any omega-models (Joe Shipman)

[Jaykov Foukzon]

Yes of course ZFC isn't powerful enough to show there isn't such a model. But I deal under assumption ZFC+(SM of ZFC). The assumption  there exists an standard model (SM) of ZFC is stronger than the assumption that there exists an model of ZFC.

On  Feb 8, 2013, at 20:13:57  Joe Shipman JoeShipman at aol.com  wrote: 
I would be very surprised if your result holds up, but not because I think there must be an omega-model of ZFC; rather, I doubt ZFC is powerful enough to show there isn't such a model.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130216/16a6438c/attachment.html>