Set Theory INC# ∞# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions
2021 ◽
pp. 90-112
Keyword(s):
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 anyreferences to Catalan conjecture.
2021 ◽
pp. 70-119
2002 ◽
Vol 67
(4)
◽
pp. 1295-1322
◽
Keyword(s):
2008 ◽
Vol 73
(4)
◽
pp. 1315-1327
◽
2007 ◽
Vol 48
(4)
◽
pp. 473-488
◽