Set Theory INC_{∞^{#}}^{#} Based on Infinitary Intuitionistic Logic with Restricted Modus Ponens Rule (Part III).Hyper inductive definitions. Application in transcendental number theory.

Journal of Advances in Mathematics and Computer Science 36 (8):43 (2021)
  Copy   BIBTEX

Abstract

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

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.II) Hyper inductive definitions.Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (4):22.
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.
Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).
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.
Non-archimedean analysis on the extended hyperreal line *R_d and the solution of some very old transcendence conjectures over the field Q.Jaykov Foukzon - 2015 - Advances in Pure Mathematics 5 (10):587-628.
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.
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Alien Intruders in Relevant Arithmetic.Robert Meyer & Chris Mortensen - 2021 - Australasian Journal of Logic 18 (5):401-425.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeremy Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.

Analytics

Added to PP
2021-08-15

Downloads
281 (#96,896)

6 months
78 (#79,177)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

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).

Add more references