7 found
Order:
  1.  47
    There is No Standard Model of ZFC and ZFC_2.Jaykov Foukzon - 2017 - Journal of Advances in Mathematics and Computer Science 2 (26):1-20.
    In this paper we view the rst order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) and (ii) examples of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  54
    There is No Standard Model of ZFC.Jaykov Foukzon - 2018 - Journal of Global Research in Mathematical Archives 5 (1):33-50.
    Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].
    Download  
     
    Export citation  
     
    Bookmark  
  3.  16
    Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms.Jaykov Foukzon - 2013 - Advances in Pure Mathematics (3):368-373.
    Download  
     
    Export citation  
     
    Bookmark  
  4.  27
    Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals.Jaykov Foukzon - 2015 - British Journal of Mathematics and Computer Science 9 (5):380-393.
    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)):.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  56
    Relevant First-Order Logic LP# and Curry’s Paradox Resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
    In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  11
    Paraconsistent First-Order Logic with Infinite Hierarchy Levels of Contradiction.Jaykov Foukzon - manuscript
    In this paper paraconsistent first-order logic LP^{#} with infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#} is discussed.Axiomatical system HST^{#}as paraconsistent generalization of Hrbacek set theory HST is considered.
    Download  
     
    Export citation  
     
    Bookmark  
  7.  15
    Generalized Löb’s Theorem.Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal (Vol. 4, No. 1-1):1-5.
    Download  
     
    Export citation  
     
    Bookmark