RETRACTED ARTICLE: There are Infinitely Many Mersenne Prime Numbers. Applications of Rasiowa–Sikorski Lemma in Arithmetic (II)

Studia Logica 111 (2):359-359 (2023)
  Copy   BIBTEX

Abstract

The paper is concerned with the old conjecture that there are infinitely many Mersenne primes. It is shown in the work that this conjecture is true in the standard model of arithmetic. The proof refers to the general approach to first–order logic based on Rasiowa-Sikorski Lemma and the derived notion of a Rasiowa–Sikorski set. This approach was developed in the papers [ 2 – 4 ]. This work is a companion piece to [ 4 ].

Categories

Keywords

Reprint years

DOI

10.1007/s11225-022-10015-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

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

RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I).Janusz Czelakowski - 2023 - Studia Logica 111 (2):357-358.
An Extension of the Lemma of Rasiowa and Sikorski.Jörg Flum - 1998 - Mathematical Logic Quarterly 44 (4):509-514.
Topological Proofs of Some Rasiowa-Sikorski Lemmas.Robert Goldblatt - 2012 - Studia Logica 100 (1-2):175-191.
Notes on the Rasiowa-Sikorski lemma.Cecylia Rauszer & Bogdan Sabalski - 1975 - Studia Logica 34 (3):265 - 268.
Notes on the Rasiowa-Sikorski lemma.Cecylia Rauszer & Bogdan Sabalski - 1975 - Bulletin of the Section of Logic 4 (3):109-114.
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 3–38. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Platonism and Anti-Platonism in Mathematics.John P. Burgess - 2001 - Philosophical Review 110 (1):79.
Platonism and anti-platonism in mathematics.John P. Burgess - 2001 - Philosophical Review 110 (1):79-82.
A note on r− S lemma.Osamu Sonobe - 1979 - Bulletin of the Section of Logic 8 (1):10-13.
Lukasiewicz's Logics and Prime Numbers.A. S. Karpenko - 2006 - Beckington, England: Luniver Press.
A Conversation about Numbers and Knowledge.Charles Sayward - 2002 - American Philosophical Quarterly 39 (3):275-287.
The FAN principle and weak König's lemma in herbrandized second-order arithmetic.Fernando Ferreira - 2020 - Annals of Pure and Applied Logic 171 (9):102843.
Small infinitary epistemic logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.
Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.

Analytics

Added to PP
2022-10-25

Downloads
26 (#628,186)

6 months
9 (#352,597)

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

No references found.

Add more references