[FOM] FOM Digest, Vol 122, Issue 12 Re: A proo f that ZFC has no any omega-models (Aatu Koskensilta )

[Jaykov Foukzon]

>
>Quoting Aatu Koskensilta ( aatu.koskensilta at uta.fi )
>
>>However principle V=M might be, the axiom that ZFC has no  
>>omega-models is certainly neither natural nor principled. It's just  
>>another way of saying ZFC is not arithmetically sound, after all! (And  
>>as Robert Solovay notes, can't be true in any well-founded model.)
>
>
>On the other hand a postulate that ZFC has omega-models, _has not_ under itself of any real bases. It simply version of religion and no more that. But this postulate much to my regret also the false.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130225/987322af/attachment.html>