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):22 (2021)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (8):43.
Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).
Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.
Internal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (7): 16-43.
Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
The Solution of the Invariant Subspace Problem. Complex Hilbert space. Part I.External non-Archimedean field {∗}^ℝ_{c}^{#} by Cauchy completion of the internal non-Archimedean field {∗}^ℝ.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.
Extracting Algorithms from Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
The consistency of some intuitionistic and constructive principles with a set theory.V. H. Hahanyan - 1981 - Studia Logica 40 (3):237 - 248.

Analytics

Added to PP
2021-05-08

Downloads
331 (#84,933)

6 months
102 (#59,654)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).
Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.

Add more references