The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\)

DOI10.1215/00294527-2008-021zbMath1185.03086OpenAlexW2054575177MaRDI QIDQ1049744

Victor V. Pambuccian

Publication date: 13 January 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-021

zbMATH Keywords

weak arithmeticKaye's \(\text{PA}^-\)Kürschák's theoremNagell's theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Models of arithmetic and set theory (03C62) Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05)

Related Items (3)

On \(\mathsf{Q}\) ⋮ The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X\)] ⋮ Unnamed Item

This page was built for publication: The sum of irreducible fractions with consecutive denominators is never an integer in \(\mathrm{PA}^-\)