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-04-29 04:23:27

Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals Consistency Results in Topology.

Authors: Jaykov Foukzon
Comments: 42 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) ~Con(ZFC_2),(ii) let k be an inaccessible cardinal,then ¬Con(ZFC+∃k).
Category: Set Theory and Logic