There is No Standard Model of ZFC and ZFC 2
Advances in Mathematics and Computer Science Vol. 1,
Page 26-75
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 Lob’s theorem is considered. Main results are:
Keywords:
- Godel encoding
- Russell's paradox
- standard model
- Henkin semantics
- inaccessible cardinal
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
- Abstract View: 0 times