Set Theory INC# ∞# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions

Foukzon, Jaykov (2021) Set Theory INC# ∞# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions. Journal of Advances in Mathematics and Computer Science, 36 (4). pp. 90-112. ISSN 2456-9968

[thumbnail of 1583-Article Text-3117-1-10-20221012.pdf] Text
1583-Article Text-3117-1-10-20221012.pdf - Published Version
Download (393kB)

Abstract

In this paper intuitionistic set theory INC# ∞# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.The Goldbach-Euler theorem is obtained without any
references to Catalan conjecture.

Item Type: Article
Subjects: STM Repository > Mathematical Science
Depositing User: Managing Editor
Date Deposited: 01 Mar 2023 05:52
Last Modified: 07 Mar 2024 08:01
URI: http://classical.goforpromo.com/id/eprint/2711

Actions (login required)

View Item
View Item