Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

In 1893, Schatunowsky showed that 30 is the largest number all of whose totatives are primes; we show that this result cannot be proved, in any form, in PA-+ Chebyshev's theorem (Bertrand's postulate), even if all irreducibles are primes. Bonse's inequality is shown to be indeed weaker than Chebyshev's theorem. Schatunowsky's theorem holds in PA- together with Bonse's inequality, the existence of the greatest prime dividing certain types of numbers, and the condition that all irreducibles be prime.

Original languageEnglish (US)
Pages (from-to)230-235
Number of pages6
JournalMathematical Logic Quarterly
Volume61
Issue number3
DOIs
StatePublished - May 1 2015

Fingerprint

Peano Arithmetic
Chebyshev
Fragment
Theorem
Postulate

ASJC Scopus subject areas

  • Logic

Cite this

Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic. / Pambuccian, Victor.

In: Mathematical Logic Quarterly, Vol. 61, No. 3, 01.05.2015, p. 230-235.

Research output: Contribution to journalArticle

@article{85630627f8a542c8ae8146ce72db2cc0,
title = "Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic",
abstract = "In 1893, Schatunowsky showed that 30 is the largest number all of whose totatives are primes; we show that this result cannot be proved, in any form, in PA-+ Chebyshev's theorem (Bertrand's postulate), even if all irreducibles are primes. Bonse's inequality is shown to be indeed weaker than Chebyshev's theorem. Schatunowsky's theorem holds in PA- together with Bonse's inequality, the existence of the greatest prime dividing certain types of numbers, and the condition that all irreducibles be prime.",
author = "Victor Pambuccian",
year = "2015",
month = "5",
day = "1",
doi = "10.1002/malq.201400064",
language = "English (US)",
volume = "61",
pages = "230--235",
journal = "Mathematical Logic Quarterly",
issn = "0942-5616",
publisher = "Wiley-VCH Verlag",
number = "3",

}

TY - JOUR

T1 - Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic

AU - Pambuccian, Victor

PY - 2015/5/1

Y1 - 2015/5/1

N2 - In 1893, Schatunowsky showed that 30 is the largest number all of whose totatives are primes; we show that this result cannot be proved, in any form, in PA-+ Chebyshev's theorem (Bertrand's postulate), even if all irreducibles are primes. Bonse's inequality is shown to be indeed weaker than Chebyshev's theorem. Schatunowsky's theorem holds in PA- together with Bonse's inequality, the existence of the greatest prime dividing certain types of numbers, and the condition that all irreducibles be prime.

AB - In 1893, Schatunowsky showed that 30 is the largest number all of whose totatives are primes; we show that this result cannot be proved, in any form, in PA-+ Chebyshev's theorem (Bertrand's postulate), even if all irreducibles are primes. Bonse's inequality is shown to be indeed weaker than Chebyshev's theorem. Schatunowsky's theorem holds in PA- together with Bonse's inequality, the existence of the greatest prime dividing certain types of numbers, and the condition that all irreducibles be prime.

UR - http://www.scopus.com/inward/record.url?scp=84929672688&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84929672688&partnerID=8YFLogxK

U2 - 10.1002/malq.201400064

DO - 10.1002/malq.201400064

M3 - Article

AN - SCOPUS:84929672688

VL - 61

SP - 230

EP - 235

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

SN - 0942-5616

IS - 3

ER -