On Undecidability of Finite Subsets Theory for Torsion Abelian Groups

Sergey Mikhailovich Dudakov
Additional contact information
Sergey Mikhailovich Dudakov: Department of Applied Mathematics and Cybernetic, Tver State University, 170100 Tver, Tver Oblast, Russia

Mathematics, 2022, vol. 10, issue 3, 1-14

Abstract: Let M be a commutative cancellative monoid with an element of infinite order. The binary operation can be extended to all finite subsets of M by the pointwise definition. So, we can consider the theory of finite subsets of M . Earlier, we have proved the following result: in the theory of finite subsets of M elementary arithmetic can be interpreted. In particular, this theory is undecidable. For example, the free monoid (the sets of all words with concatenation) has this property, the corresponding algebra of finite subsets is the theory of all finite languages with concatenation. Another example is an arbitrary Abelian group that is not a torsion group. But the method of proof significantly used an element of infinite order, hence, it can’t be immediately generalized to torsion groups. In this paper we prove the given theorem for Abelian torsion groups that have elements of unbounded order: for such group, the theory of finite subsets allows interpreting the elementary arithmetic.

Keywords: Abelian torsion group; finite subsets theory; undecidability; elementary arithmetic (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/3/533/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/3/533/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:3:p:533-:d:744859

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().