Skip to content
Research Article Open access CC BY 4.0

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 · pp. 16–43 · Published 10 Aug 2022

10.9734/jamcs/2022/v37i730463

Abstract

The incompleteness of set theory \(Z F C\) leads one to look for natural nonconservative extensions of \(Z F C\) in which one can prove statements independent of \(Z F C\) which appear to be "true". One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, \(K M\) or Tarski-Grothendieck set theory \(T G\) or It is a nonconservative extension of \(Z F C\) and is obtained from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier \(Z F(a a)\). In this paper we look at a set theory \(\mathrm{NC}_{\infty}^{\#}\), based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory \(\mathrm{NC}_{\infty}^{\#}\) based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed.

Set theory ZFC nonconservative extension of ZFC internal set theory IST external settheory HST A. Robinson model theoretical NSA Bivalent gyper in nitary logic odusponens rule Logic with restricted modus ponens rule

References (14)

  1. 1 Introduction to The Theory of Infinitesimals [DOI]
  2. 2 Applied non-standard analysis [DOI]
  3. 3 Axiomatic foundations for Nonstandard Analysis [DOI]
  4. 4 Nonstandard Analysis, Axiomatically [DOI]
  5. 5 NONSTANDARD METHODS IN STOCHASTIC ANALYSIS AND MATHEMATICAL PHYSICS [DOI]
  6. 6 Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I) [DOI]
  7. 7 Set Theory INC# ∞# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions [DOI]
  8. 8 Set theory with a filter quantifier [DOI]
  9. 9 Relevant first-order logic LP# and Curry’s paradox resolution
  10. 10 Set Theory INC# ∞# Based on Innitary Intuitionistic Logic with Restricted Modus Ponens Rule. Hyper Inductive Denitions. Application in Transcendental Number Theory. Generalized Lindemann-Weierstrass Theorem [DOI]
  11. 11 Realism, nonstandard set theory, and large cardinals [DOI]
  12. 12 Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals [DOI]
  13. 13 There Is No Standard Model of ZFC and ZFC2 with Henkin Semantics [DOI]
  14. 14 The Solution of the Invariant Subspace Problem. Part I. Complex Hilbert Space [DOI]

Cited by 10

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

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

Jaykov Foukzon · AIP Conference Proceedings · 2023

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

Related research

Article metrics

Real usage data collected on this platform.

31

Page views

0

PDF downloads

3

Outbound clicks

10

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.