LogoTver State University Repository

О теории моноида конечных подмножеств для одной абелевой группы кручения

Дудаков, С.М. (2021) О теории моноида конечных подмножеств для одной абелевой группы кручения. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 39-55. ISSN 1995-0136

[img] PDF - Published Version
441kB

Abstract

Ранее был доказан следующий результат: если абелева группа G не является группой кручения, то теория моноида ее конечных подмножеств позволяет интерпретировать элементарную арифметику. В настоящей работе мы приводим пример, который показывает, что аналогичный результат можно получить и, по крайней мере, для некоторых групп кручения

Abstract (en)

Earlier it was proved the following claim. Let G be a non-torsion abelian group and G be the semigroup of finite subsets of G. Then elementary arithmetic can be interpreted in G* , so the theory of G* is undecidable. Here we prove the same result for one torsion group, the multiplicative group of all roots of unity

Item Type:Article
Additional Information:1. Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского государственного университета.
Uncontrolled Keywords:группа кручения, моноид подмножеств, элементарная арифметика, неразрешимость
Keywords (en):torsion group, semigroup of subsets, elementary arithmetic, undecidability
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории
5 Математика. Естественные науки > 51 Математика > 512 Алгебра
Divisions:Университеты > TverSU
ID Code:10687
Deposited By: С.Б. Федорова
Deposited On:26 Jul 2021 13:41
Last Modified:26 Jul 2021 13:41

Repository Staff Only: item control page