2 papers
math.GN2023
The monoid of numbers of the form 1 < a^q /b^p < a
Laurent Fallot
This paper is a study of the set of rational numbers of the form 1 < a^q /b^p < a with a and b co-prime integers. The set F (a,b) of these numbers, with an appropriate binary law,…
math.LO2023
Notes on proof by dichotomy
Laurent Fallot
In this document we define a method of proof that we call proof by dichotomy. Its field of application is any proposition on the set of natural numbers N. It consists in the repeti…