Affiliation:
1. Faculty of Legal and Social Sciences, Department of Financial Economics and Accounting, King Juan Carlos University, Paseo de los Artilleros, 38, 28032 Madrid, Spain
Abstract
In this paper, we will explore alternative varieties of integer multiplication by modifying the product axiom of Dedekind–Peano arithmetic (PA). In addition to studying the elementary properties of the new models of arithmetic that arise, we will see that the truth or falseness of some classical conjectures will be equivalently in the new ones, even though these models have non-commutative and non-associative product operations. To pursue this goal, we will generalize the divisor and prime number concepts in the new models. Additionally, we will explore various general number properties and project them onto each of these new structures. This fact will enable us to demonstrate that indistinguishable properties on PA project different properties within a particular model. Finally, we will generalize the main idea and explain how each integer sequence gives rise to a unique arithmetic structure within the integers.
Funder
King Juan Carlos University
Subject
Geometry and Topology,Logic,Mathematical Physics,Algebra and Number Theory,Analysis
Reference11 articles.
1. Mendelson, E. (2015). Introduction to Mathematical Logic, Chapman and Hall/CRC. [6th ed.].
2. A survival guide to Presburger arithmetic;Haase;ACM SIGLOG News,2018
3. Bès, A. (2002). A survey of arithmetical definability. Soc. Math. Belg., 1–54. Available online: https://hal.science/hal-00091580.
4. Variants of Robinson’s essentially undecidable theory R;Jones;Arch. Math. Log.,1983
5. Sergeyev, Y., and Kvasov, D. (2020). Numerical Computations: Theory and Algorithms, NUMTA 2019, Springer.