There is No Standard Model of ZFC and ZFC2

Channel:
India BP International
Subscribers:
9,470
Published on ● Video Link: https://www.youtube.com/watch?v=lhdFXEWi4Xo


Duration: 0:00
75 views
2

ZFC2 | Chapter 03 | Advances in Mathematics and Computer Science Vol. 1

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 possible generalization of Lob’s theorem is considered. Main results are:

(i)¬Con(ZF C+∃MZF Cst),
(ii)¬Con(N F+∃MNFst),
(iii)¬Con(ZF C2),
(iv) letkbe an inaccessible cardinal then¬Con(ZF C+∃κ),
(v)¬Con(ZF C+ (V=L)),
(vi)¬Con(ZF+ (V=L)).

Author Details:

Jaykov Foukzon
Israel Institute of Technology, Haifa, Israel

Men'kova Elena Romanovna
All-Russian Research Institute for Optical and Physical Measurements, Moscow, Russia

Read full article: http://bp.bookpi.org/index.php/bpi/catalog/view/46/221/408-1



Other Videos By BP International


2019-07-24Isolation of Rare Salmonella Serovars, Wangata and Penarth from Chicken in Nsukka, Nigeria
2019-07-24Assessment of Apo-B &TG/HDL-C Ratio as Indicators of Insulin Resistance in Patients with Metabolic
2019-07-24The Mode of Transmission of Banana streak virus by Paracoccus burnerae (Homiptera; Planococcidae)
2019-07-23An Effective Application of the Spectrophotometric and Thermodynamic Methods for the Determination
2019-07-23The Effect of Anisotropy on the Structure Optimization Using BEM-GSS and BEM-NGGP Algorithms
2019-07-23A New Definition of Limit of Periodic Function and Periodic g-Contractive Mapping at Infinity
2019-07-23Recursive Computation of Binomial and Multinomial Coefficients and Probabilities
2019-07-23On the Proof Complexities of Strongly Equal Non-classical Tautologies
2019-07-23DRBEM Sensitivity Analysis and Shape Optimization of Rotating Magneto-Thermo-Viscoelastic FGA
2019-07-23Examples of Simply and Multiply Connected Fatou Sets for a Class of Meromorphic Functions
2019-07-23There is No Standard Model of ZFC and ZFC2
2019-07-23Exponential Latin square, exponential Sudoku matrix and bitwise operations
2019-07-23A Matrix Vector Transition Net Implementation
2019-07-23Analysis of Properties of Biolubricant Obtained from Blends of Used Palm Oil
2019-07-23A Comparative Study of Two Different Media Effect on the Electropolymerization of 2-(9-ethylcarbazol
2019-07-23Speciation of Some Heavy Metals in Sediments of the Pennington River, Bayelsa State, Nigeria
2019-07-23Preparation of Bisoprolol Impurity A of High Quality
2019-07-23Use of the Arrhenius Equation in Kinetic Analyses and Mathematical Modeling of Rate Data Requires
2019-07-23Pericyclic Reactions vs Polar Reactions. Use of Heterocycles as Electrophiles. Microwave Irradiation
2019-07-23Cu4SnS4 Thin Films: Advances in Research
2019-07-23Economic Design of OTEC Power Plant with Concurrent Production of Desalinated Water – A Case Study