eduzhai > Physical Sciences > Physics Sciences >

There Is No Standard Model of ZFC and ZFC2 with Henkin Semantics

  • Save

... pages left unread,continue reading

Document pages: 60 pages

Abstract: In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem is considered. Main results are: 1) , 2) , 3) , 4) , 5) let k be inaccessible cardinal then .

Please select stars to rate!

         

0 comments Sign in to leave a comment.

    Data loading, please wait...
×