LogoРепозиторий Тверского госуниверситета

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

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

[img] PDF - Опубликованная версия
441kB

Абстракт

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

Абстракт (англ.)

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

Тип объекта:Статья
Сведения об авторах:1. Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского государственного университета.
Ключевые слова:группа кручения, моноид подмножеств, элементарная арифметика, неразрешимость
Ключевые слова (англ.):torsion group, semigroup of subsets, elementary arithmetic, undecidability
Категории:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории
5 Математика. Естественные науки > 51 Математика > 512 Алгебра
Подразделения:Университеты > Тверской государственный университет
ID Code:10687
Deposited By: С.Б. Федорова
Deposited On:26 Июл 2021 13:41
Последнее изменение:26 Июл 2021 13:41

Repository Staff Only: item control page