There is No Standard Model of ZFC and ZFC 2

  • Jaykov Foukzon Israel Institute of Technology, Haifa, Israel.
  • Elena Men'kova All-Russian Research Institute for Optical and Physical Measurements, Moscow, Russia.
Keywords: Godel encoding, Russell's paradox, standard model, Henkin semantics, inaccessible cardinal

Abstract

In this Chapter we obtain a contradictions in formal set theories under assumption that these theories have omega-models or nonstandard model with standard part. An posible generalization of Lobs theorem is considered. Main results are:

Screenshot_2.png

Published
2019-07-04
How to Cite
Foukzon, J., & Men’kova, E. (2019). There is No Standard Model of ZFC and ZFC 2. Advances in Mathematics and Computer Science Vol. 1, 26-75. Retrieved from https://stm1.bookpi.org/index.php/amacs-v1/article/view/199
Issue
Advances in Mathematics and Computer Science Vol. 1
Section
Chapters