arXiv subjects

Victor Pambuccian

Publications and source records attributed to Victor Pambuccian.

8 recordsLinked to original sources

arXiv2025

Generalized Schatunowsky theorem in a weak arithmetic

Schatunowsky's 1893 theorem, that 30 is the largest number all of whose totatives are primes, has been recently generalized by Kaneko and Nakai. In its generalized form, it states the finiteness of the set of all positive numbers $n$, which, for a fixed prime $p$, have the property that all of $n$'s totatives that are not divisible by any prime less than or equal to $p$ are prime numbers. It is this generalized form that we show holds in a weak arithmetic

math.LO↗

arXiv2015

A problem in Pythagorean Arithmetic

Problem 2 at the 56th International Mathematical Olympiad (2015) asks for all triples (a,b,c) of positive integers for which ab-c, bc-a, and ca-b are all powers of 2. We show that this problem requires only a primitive form of arithmetic, going back to the Pythagoreans, which is the arithmetic of the even and the odd.

math.LO↗

arXiv2015

The Erdős-Selfridge and the Schinzel-Tijdeman theorems hold in $PA^-$

We show that "The product of consecutive integers is never a power" and several results by Schinzel and Tijdeman on the solutions of the equation $y^m=P(x)$, for $m>1$, $y>1$, and $P(x)$ a polynomial with rational coefficients and with at least two distinct zeros, hold in a weak fragment of Peano Arithmetic, $PA^-$, which lacks any kind of induction, and whose models are the positive cones of discretely ordered rings.

math.NT↗

arXiv2015

The Steiner-Lehmus theorem and "triangles with congruent medians are isosceles" hold in weak geometries

We prove that (i) a generalization of the Steiner-Lehmus theorem due to A. Henderson holds in Bachmann's standard ordered metric planes, (ii) that a variant of Steiner-Lehmus holds in all metric planes, and (iii) that the fact that a triangle with two congruent medians is isosceles holds in Hjelmslev planes without double incidences of characteristic $\neq 3$.

math.MG↗

arXiv2013

On the axiomatics of projective and affine geometry in terms of line intersection

By providing explicit definitions, we show that in both affine and projective geometry of dimension $\geq 3$, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate as primitive notion, non-intersection of two lines can be positively defined in terms of line-intersection.

math.AG↗

arXiv2012

A definitional view of Vogt's variant of the Mazur-Ulam theorem

A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.

math.MG↗

arXiv2012

An axiomatic look at a windmill

We present the problem stated in intuitive language as problem 2 at the 52nd International Mathematical Olympiad as a formal statement, and prove that it is valid in ordered regular incidence planes, the weakest ordered geometry whose models can be embedded in projective ordered planes.

math.LO↗

arXiv2008

The sum of irreducible fractions with consecutive denominators is never an integer in a very weak arithmetic

Two theorems of elmentary arithmetic, one stating that the sum of the reciprocals of any number of consecutive positive integers is never an integer, and a generalization thereof by Trygve Nagell, are shown to be provable inside a very weak arithmetic, Richard Kaye's $PA^-$, in which there is no induction axiom whatsoever.

math.LO↗