О МОНОИДЕ С РАЗРЕШИМОЙ ТЕОРИЕЙ КОНЕЧНЫХ ПОДМНОЖЕСТВ

С. М. Дудаков

doi:10.26456/vtpmk708

Публикации

?

О МОНОИДЕ С РАЗРЕШИМОЙ ТЕОРИЕЙ КОНЕЧНЫХ ПОДМНОЖЕСТВ

Вестник Тверского государственного университета. Серия: Прикладная математика. 2024. № 2. С. 27–38.

Дудаков С. М.

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

Научное направление: Математика

Язык: русский

DOI

Текст на другом сайте

Ключевые слова: алгебра подмножеств automatic structures subset algebra algorithmic decidability алгоритмическая разрешимость автоматная система

On the Ramsey Number R(K_{1,s},P_t)

Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7

Добавлено: 10 июня 2026 г.

Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4

Springer, 2026.

Добавлено: 8 июня 2026 г.

Wave dynamics within the Whitham-Ostrovsky equation

Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784

Добавлено: 5 июня 2026 г.

On structural stability of 3-diffeomorphisms with the Smale solenoid attractor–repeller dynamics

Медведев Т. В., Починка О. В., Chaos 2026 Vol. 36 No. 6 Article 063107

Добавлено: 4 июня 2026 г.

A model exhibiting all possible types of hyperbolic chaos on the 2-torus

Казаков А. О., Минц Д. И., Петрова Ю. Э. и др., Chaos 2026 Vol. 36 No. 6 Article 063112

Добавлено: 4 июня 2026 г.

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

Ноздринова Е. В., Починка О. В., Шмуклер В. И., Математический сборник 2026 Т. 217 № 6 С. 71–89

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

Добавлено: 3 июня 2026 г.

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

Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162

Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...

Добавлено: 2 июня 2026 г.

Electrical networks and data analysis in phylogenetics

Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45

Добавлено: 28 мая 2026 г.

On Undecidability Degree of Theory of Figures in Countable and Uncountable Linear Spaces

Дудаков С. М., Lobachevskii Journal of Mathematics 2025 Vol. 46 No. 12 P. 6092–6102

Добавлено: 1 мая 2026 г.

О степени неразрешимости теории фигур в линейных пространствах

Дудаков С. М., Математика и теоретические компьютерные науки 2024 Т. 2 № 4 С. 51–65

Мы изучаем аддитивную теорию произвольных фигур в линейных пространствах, т.е. теорию множеств точек/векторов, на которые естественным образом распространена операция сложения. Наш основной результат: если линейное пространство бесконечно, то аддитивная теория фигур в нем позволяет интерпретировать арифметику второго порядка и, следовательно, имеет не меньшую степень неразрешимости. Для счетно бесконечных пространств мы доказываем обратный результат: теория фигур ...

Добавлено: 18 марта 2026 г.

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

Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2025 № 1 С. 5–13

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

Добавлено: 18 марта 2026 г.

О теории решеток подалгебр для произвольных группоидов

Дудаков С. М., Математические заметки 2026 Т. 119 № 2 С. 208–219

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

Добавлено: 18 марта 2026 г.

РАЗРЕШИМОСТЬ ТЕОРИИ КОНЕЧНЫХ ПОДМНОЖЕСТВ БЕЗАТОМНЫХ БУЛЕВЫХ АЛГЕБР

Дудаков С. М., Авхимович Н. В., Вестник Тверского государственного университета. Серия: Прикладная математика 2023 № 1 С. 24–35

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

Добавлено: 12 ноября 2023 г.

Об интерпретациях арифметики Пресбургера в арифметиках Бюхи

Запрягаев А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 3–7

Арифметики Бюхи BAn, n≥2, являются расширениями арифметики Пресбургера унарным функциональным символом Vn(x), обозначающим наибольшую степень n, делящую x. Определимость множества в BAn эквивалентна распознаванию его конечным автоматом, принимающим числа в n-ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели BAn и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий ...

Добавлено: 27 июля 2023 г.

Алгебраические системы

Рыбакин А. С., Кулонен Г. А., СПб.: ВКАС им. Буденного, 1999.

Добавлено: 10 февраля 2013 г.