Аннотация:
Ранее был доказан следующий результат: если абелева группа G не является группой кручения, то теория моноида ее конечных подмножеств позволяет интерпретировать элементарную арифметику. В настоящей работе мы приводим пример, который показывает, что аналогичный результат можно получить и, по крайней мере, для некоторых групп кручения.
Ключевые слова:
группа кручения, моноид подмножеств, элементарная арифметика, неразрешимость.
УДК:510.65, 512.531.4
Поступила в редакцию: 15.04.2021 Исправленный вариант: 15.05.2021