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

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

[thumbnail of vestnik-pmk-2021-2-print-39-55.pdf]

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 On:	26 Jul 2021 13:41
Last Modified:	26 Jul 2021 13:41

Repository Staff Only: item control page