Set Theory and Logic

1302 Submissions

[2] viXra:1302.0137 [pdf] submitted on 2013-02-20 13:01:57

Restructuring Logic

Authors: Joachim Derichs
Comments: 44 Pages.

The outline of a programme for restructuring mathematical logic. We explain what we mean by ‘restructuring’ and carry out exemplary parts of the programme.
Category: Set Theory and Logic

[1] viXra:1302.0048 [pdf] replaced on 2017-12-23 09:04:43

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

Authors: Jaykov Foukzon
Comments: 61 Pages.

In this article we derived an importent example of the inconsistent countable set in second order ZFC (ZFC_2)with Henkin semantics and with the full second-order semantics. Main results are: :(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st),(ii)~Con(ZFC_2),(iii) let k be an inaccessible cardinal,then ¬Con(ZFC+∃k).
Category: Set Theory and Logic