On Axiomatizability of the Multiplicative Theory of Numbers

• Autorzy: Salehi S.

Identyfikatory

DOI

10.3233/FI-2018-1665

• Języki publikacji: EN

Abstrakty

EN

The multiplicative theory of a set of numbers (which could be natural, integer, rational, real or complex numbers) is the first-order theory of the structure of that set with (solely) the multiplication operation (that set is taken to be multiplicative, i.e., closed under multiplication). In this paper we study the multiplicative theories of the complex, real and (positive) rational numbers. These theories (and also the multiplicative theories of natural and integer numbers) are known to be decidable (i.e., there exists an algorithm that decides whether a given sentence is derivable form the theory); here we present explicit axiomatizations for them and show that they are not finitely axiomatizable. For each of these sets (of complex, real and [positive] rational numbers) a language, including the multiplication operation, is introduced in a way that it allows quantifier elimination (for the theory of that set).

Słowa kluczowe

EN

decidability; completeness; multiplicative theory; quantifier elimination

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 159, nr 3
• Strony: 279--296
• Opis fizyczny: Bibliogr. 14 poz., tab.

Twórcy

autor

Salehi S.

• Research Institute for Fundamental Sciences (RIFS), University of Tabriz, P.O.Box 51666–16471, Bahman 29th Boulevard, Tabriz, IRAN
• School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O.Box 19395–5746, Niavaran, Tehran, IRAN

Bibliografia

• [1] Cégielski P. “Théorie Élémentaire de la Multiplication des Entiers Naturels”, in: C. Berline, K. McAloon, J.-P. Ressayre (eds.) Model Theory and Arithmetic, Comptes Rendus d’une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l’Arithmétique, Paris, France, 1979/80, Lecture Notes in Mathematics 890, Springer 1981 pp. 44-89. ISBN: 9783540111597, doi:10.1007/BFb0095657.
• [2] Enderton HB. A Mathematical Introduction to Logic, Academic Press 2001 (2nd ed). ISBN: 9780122384523.
• [3] Kreisel G, and Krivine JL. Elements of Mathematical Logic: Model Theory, North-Holland 1971. ISBN: 9780720422658.
• [4] Mahler K. On the Chinese Remainder Theorem, Mathematische Nachrichten 1958;18:120-122. doi:10.1002/mana.19580180112.
• [5] Marker D. Model Theory: An Introduction, Springer 2002. ISBN: 9781441931573.
• [6] Monk JD. Mathematical Logic, Springer 1976. ISBN: 9780387901701.
• [7] Mostowski A. On Direct Products of Theories, The Journal of Symbolic Logic 1952;17(1):1-31. doi:10.2307/2267454.
• [8] Ore O. The General Chinese Remainder Theorem, The American Mathematical Monthly 1951;59(6):365-370. doi:10.2307/2306804.
• [9] Robinson J. Definability and Decision Problems in Arithmetic, The Journal of Symbolic Logic 1949; 14(2):98-114. doi:10.2307/2266510.
• [10] Robinson A, and Zakon E. Elementary Properties of Ordered Abelian Groups, Transactions of the American Mathematical Society 1960;96:222-236. doi:10.2307/1993461.
• [11] Salehi S. “Axiomatizing Mathematical Theories: Multiplication”, in: A. Kamali-Nejad (ed.) Proceedings of Frontiers in Mathematical Sciences, Sharif University of Technology. Tehran, Iran 2012, pp. 165-176. URL https://arxiv.org/pdf/1612.06525.pdf.
• [12] Smoryński C. Logical Number Theory I: An Introduction. Springer 1991. ISBN: 9783540522362.
• [13] Szmielew W. “Decision Problem in Group Theory”, in: E.W. Beth, H.J. Pos, J.H.A. Hollak (eds.) Proceedings of the Tenth International Congress of Philosophy, Vol. 2. North-Holland, Amsterdam 1949 pp. 763-766. doi:10.5840/wcp1019492212.
• [14] Szmielew W. Elementary Properties of Abelian Groups, Fundamenta Mathematicæ 1955;41:203-271. doi:10.4064/fm-41-2-203-271.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).