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

Download Edit this record How to cite View on PhilPapers
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)):
No categories specified
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2018-01-18
View other versions
Added to PP index

Total views
263 ( #25,197 of 64,223 )

Recent downloads (6 months)
45 ( #17,255 of 64,223 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.