Set Theory and Logic

2105 Submissions

[2] viXra:2105.0131 [pdf] submitted on 2021-05-22 07:22:08

Proving the Axiom of Choice of Subsets

Authors: Ralf Donau
Comments: 1 Page.

A proof of The Axiom of Choice of Subsets proposed by Antoine Balan.
Category: Set Theory and Logic

[1] viXra:2105.0034 [pdf] replaced on 2021-06-04 05:04:26

Set Theory INC# ∞# Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part.II) Hyper Inductive Definitions

Authors: Jaykov Foukzon
Comments: Journal of Advances in Mathematics and Computer Science, Page 90-112 DOI: 10.9734/jamcs/2021/v36i430359 Published: 11 June 2021

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 any references to Catalan conjecture.
Category: Set Theory and Logic