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.

Author's Profile

Analytics

Added to PP
2021-05-08

Downloads
161 (#72,353)

6 months
54 (#68,097)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?