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

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 Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.
Extracting Algorithms from Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.
Comments On The Logic Of Constructible Falsity.Allen Hazen - 1980 - Bulletin of the Section of Logic 9 (1):10-13.
Natural deduction for the finite least fixed point logic with an infinitary rule.Alexandre Arruda & Ana Martins - 2009 - Logic Journal of the IGPL 17 (5):531-558.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.

Analytics

Added to PP
2021-05-08

Downloads
190 (#104,051)

6 months
61 (#76,923)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Solution of the Invariant Subspace Problem. Part I. Complex Hilbert space.Jaykov Foukzon - 2022 - Journal of Advances in Mathematics and Computer Science 37 (10):51-89.

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