LogoTver State University Repository

О моноиде с разрешимой теорией конечных подмножеств

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

[thumbnail of ПРИКЛАДНАЯ_МАТЕМАТИКА_2_2024-27-38.pdf] PDF - Published Version
Download (364kB)

Abstract

В наших предыдущих работах мы продемонстрировали, что теория конечных подмножеств различных ассоциативных алгебр позволяет интерпретировать элементарную арифметику, в частности, она неразрешима. Например, это было показано для любых бесконечных абелевых групп. Возникает естественный вопрос: можно ли обобщить этот результат на более широкий класс алгебр, скажем, все коммутативные моноиды. В некоторых случаях нами ответ тоже получен ранее: для коммутативных моноидов с сокращением, имеющим элемент бесконечного порядка или произвольных абелевых групп. Сейчас же мы продемонстрируем, что не для всяких коммутативных моноидов это верно. Более того, мы дадим описание конструкции, которая позволяет строить такого рода системы из разного рода исходных алгебр. Вместе с тем, будут указаны и некоторые границы её применимости
Item Type: Article
Additional Information: Дудаков Сергей Михайлович декан факультета прикладной математики и кибернетики Тверского госуниверситета; профессор математического факультета НИУ «Высшая школа экономики». Россия, 170100, г. Тверь, ул. Желябова, д. 33, ТвГУ
Uncontrolled Keywords: алгебра подмножеств, алгоритмическая разрешимость, автоматная система
Subjects: 5 Математика. Естественные науки
5 Математика. Естественные науки > 51 Математика
5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика
Divisions: Университеты > Национальный исследовательский университет "Высшая школа экономики"
Университеты > TverSU
Depositing User: Unnamed user with email Komarova.ES@tversu.ru
Date Deposited: 22 Aug 2024 05:13
Last Modified: 22 Aug 2024 05:13
URI: http://eprints.tversu.ru/id/eprint/12867

Actions (login required)

View Item
View Item