Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals

British Journal of Mathematics and Computer Science 9 (5):380-393 (2015)
  Copy   BIBTEX

Abstract

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prof. Jaykov - 2015 - British Journal of Mathematics and Computer Science 9 (5): 380-393.
There is no standard model of ZFC.Jaykov Foukzon - 2018 - Journal of Global Research in Mathematical Archives 5 (1):33-50.
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
The model N = ∪ {L[A]: A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289-313.
Inaccessible Cardinals, Failures of GCH, and Level-by-Level Equivalence.Arthur W. Apter - 2014 - Notre Dame Journal of Formal Logic 55 (4):431-444.
Codings and strongly inaccessible cardinals.Tadatoshi Miyamoto - 2017 - Archive for Mathematical Logic 56 (7-8):1037-1044.
Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.Arthur W. Apter - 2000 - Mathematical Logic Quarterly 46 (4):453-460.
Borel's conjecture in topological groups.Fred Galvin & Marion Scheepers - 2013 - Journal of Symbolic Logic 78 (1):168-184.
Patterns of compact cardinals.Arthur W. Apter - 1997 - Annals of Pure and Applied Logic 89 (2-3):101-115.
Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.
Indestructibility, HOD, and the Ground Axiom.Arthur W. Apter - 2011 - Mathematical Logic Quarterly 57 (3):261-265.
Characterizing strong compactness via strongness.Arthur W. Apter - 2003 - Mathematical Logic Quarterly 49 (4):375.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Partition Complete Boolean Algebras and Almost Compact Cardinals.Peter Jipsen & Henry Rose - 1999 - Mathematical Logic Quarterly 45 (2):241-255.
Coding by club-sequences.David Asperó - 2006 - Annals of Pure and Applied Logic 142 (1):98-114.

Analytics

Added to PP
2018-01-18

Downloads
435 (#45,162)

6 months
48 (#89,689)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

There is No Standard Model of ZFC and ZFC_2. Part I.Jaykov Foukzon - 2017 - Journal of Advances in Mathematics and Computer Science 2 (26):1-20.
The Solution of the Invariant Subspace Problem. Complex Hilbert space. Part I.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.

Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Toward a Theory of Second-Order Consequence.Augustín Rayo & Gabriel Uzquiano - 1999 - Notre Dame Journal of Formal Logic 40 (3):315-325.
First-order logic, second-order logic, and completeness.Marcus Rossberg - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler & Heinrich Wansing (eds.), First-Order Logic Revisited. Logos. pp. 303-321.
Warning signs of a possible collapse of contemporary mathematics.Edward Nelson - 2011 - In Michał Heller & W. H. Woodin (eds.), Infinity: new research frontiers. New York: Cambridge University Press. pp. 76.

View all 7 references / Add more references