|
Mathematical Logic, Algebra, Number Theory and Discrete Mathematics
On finite subsets monoid with decidable theory
S. M. Dudakovab a Tver State University, Tver
b National Research University Higher School of Economics, Moscow
Abstract:
In our previous works, we have proved for various associative algebras that the finite subsets theory allows to interpret elementary arithmetic, in particular, such theory is undecidable. For example, this is proved for all infinite Abelian groups. A natural question arises: can we generalize this result to a wider class of algebras, for example, all commutative monoids. In some cases, we also have proved analogous result: for commutative cancellative monoids with an element of infinite order, or arbitrary Abelian groups. In this paper we prove that this is not true for arbitrary commutative monoids. Moreover, we propose a method that allows to construct such algebras by various original algebras. Also, we have found a limitation of this method.
Keywords:
subset algebra, algorithmic decidability, automatic structure.
Received: 25.04.2024 Revised: 17.07.2024
Citation:
S. M. Dudakov, “On finite subsets monoid with decidable theory”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2024, no. 2, 27–38
Linking options:
https://www.mathnet.ru/eng/vtpmk708 https://www.mathnet.ru/eng/vtpmk/y2024/i2/p27
|
Statistics & downloads: |
Abstract page: | 56 | Full-text PDF : | 4 | References: | 13 |
|