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

Autor:	Elena Men’kova, Jaykov Foukzon
Rok vydání:	2019
Předmět:	Mathematics::Logic Reflection (mathematics) Generalization Semantics (computer science) Calculus Inaccessible cardinal General Medicine Russell's paradox Mathematics Standard model (cryptography)
Zdroj:	Advances in Pure Mathematics. :685-744
ISSN:	2160-0384 2160-0368
DOI:	10.4236/apm.2019.99034
Popis:	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 Lob’s theorem is considered. Main results are: 1) , 2) , 3) , 4) , 5) let k be inaccessible cardinal then .
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d1f2d866b863ce27d3946a6a3dbe144e https://doi.org/10.4236/apm.2019.99034 Zobrazit plný text záznamu