Skip to content
Research Article Open access CC BY 4.0

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

Jaykov Foukzon

Journal of Advances in Mathematics and Computer Science · pp. 90–112 · Published 11 Jun 2021

10.9734/jamcs/2021/v36i430359

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.

Infinitary intuitionistic logic nonstandard arithmetic Goldbach and Euler theorem

References (1)

  1. 1 Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I) [DOI]

Cited by 18

Internal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA

Jaykov Foukzon · Journal of Advances in Mathematics and Computer Science · 2022

The Solution of the Invariant Subspace Problem in Complex Hilbert Space: External non-Archimedean field *Rc by Cauchy Completion of the internal Non-Archimedean field *R (Part I)

Jaykov Foukzon · Journal of Advances in Mathematics and Computer Science · 2022

The Solution of the Invariant Subspace Problem. Complex Hilbert Space. External Countable Dimensional Linear spaces Over Field \(^*\mathbb{R}_c^\#\). Part II.

Jaykov Foukzon · Journal of Advances in Mathematics and Computer Science · 2022

Model λ(φ 2n )4, n ≥ 2 quantum field theory: A nonstandard approach based on nonstandard pointwise-defined quantum fields

Jaykov Foukzon · Journal of Physics: Conference Series · 2024

Basic non-Archimedean functional analysis over a non-Archimedean field ^{∗}ℝ_{c}^{#} Application to constructive quantum field theory

Jaykov Foukzon · 2024

Internal Set Theory IST <sup>#</sup>Based on Gyper Infinitary Logic With Restricted Modus Ponens Rule

Jaykov Foukzon · SSRN Electronic Journal · 2022

Model P(φ)4 quantum field theory: A nonstandard approach based on nonstandard pointwise-defined quantum fields

Jaykov Foukzon · AIP Conference Proceedings · 2023

Set Theory NC_{∞}^{} Based on Bivalent Infinitary Logic with Restricted Modus Ponens Rule.Basic Real Analysis on External Non-Archimedean Field ℝ_{c}^{}. Basic Complecs Analysis on External Field ℂ_{c}^{}=ℝ_{c}^{}[i].

Jaykov Foukzon · SSRN Electronic Journal · 2021

Model P(φ)_4 Quantum Field Theory. A Nonstandard Approach Based on Nonstandard Pointwise-Defined Quantum Fields

Jaykov Foukzon · 2022

Showing 9 of 18 known citations — external sources report more than can currently be individually listed.

Related research

Article metrics

Real usage data collected on this platform.

29

Page views

0

PDF downloads

9

Outbound clicks

18

Citations

Views over time

Views by country

Approximate, from request IP at view time — not citizenship or institution. Countries with fewer than 5 views are grouped as "Other".

Traffic sources

Referring site, by host.

Views and downloads exclude known bots/crawlers. Citations combines this platform's own DOI-resolved index with each external source's own reported total — see Cited by above for individually listed citing works. Last refreshed 0 seconds ago.