Дудаков, С.М. (2021) О теории моноида конечных подмножеств для одной абелевой группы кручения. Вестник ТвГУ. Серия: Прикладная математика (2). С. 39-55. ISSN 1995-0136
![[thumbnail of vestnik-pmk-2021-2-print-39-55.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "vestnik-pmk-2021-2-print-39-55.pdf") |
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 On: | 26 Июл 2021 13:41 |
| Последнее изменение: | 26 Июл 2021 13:41 |
Repository Staff Only: item control page