?
РАЗРЕШИМОСТЬ ТЕОРИИ КОНЕЧНЫХ ПОДМНОЖЕСТВ БЕЗАТОМНЫХ БУЛЕВЫХ АЛГЕБР
Вестник Тверского государственного университета. Серия: Прикладная математика. 2023. № 1. С. 24–35.
Дудаков С. М., Авхимович Н. В.
В работе рассматриваются алгебраические системы, где в качестве носителя выступают конечные подмножества некоторой безатомной булевой алгебры. Для полученной системы мы вводим новое отношение для конечных подмножеств: считаем, что одно подмножество состоит в отношении с другим подмножеством в том и только том случае, когда все элементы одного подмножества меньше всех элементов другого. Мы демонстрируем, что теория построенной таким образом новой системы сводится к теории безатомных булевых алгебр. Следовательно, также как и теория исходной системы, теория новой системы оказывается разрешимой.
Бернардан С. Ж., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7
Добавлено: 6 октября 2026 г.
Бернардан С. Ж., Chhaibi R., Najnudel J. и др., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875
Добавлено: 5 октября 2026 г.
Исмаилов А. Р., Спиридонов В. П., Успехи математических наук 2026 Т. 81 № 5 С. 183–184
Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...
Добавлено: 5 октября 2026 г.
Абдулхаев К. С., Широков Д. С., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21
Добавлено: 4 октября 2026 г.
Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102
Добавлено: 2 октября 2026 г.
Починка О. В., Баранов Д. А., Ноздринова Е. В., Теоретическая и математическая физика 2026 Т. 229 № 1 С. 3–14
Частично решена задача Бирмана–Вильямса об описании планетарного зацепления расслоенного узла K ⊂ S3. С использованием теории Нильсена классификации периодических гомеоморфизмов поверхностей и ее тесной связи
с теорией градиентно-подобных диффеоморфизмов доказано, что планетарным
зацеплением трилистника (единственного периодического расслоенного узла рода 1) является зацепление, состоящее из трилистника и зацепления Хопфа. Кроме того, классифицированы все потоки на 3-сфере S3, реализующие ...
Добавлено: 2 октября 2026 г.
Лубашевский И. А., Lubashevskiy V., Physica D: Nonlinear Phenomena 2026 Vol. 498 Article 135441
Добавлено: 2 октября 2026 г.
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
Вьюгин И. В., Sashadhar D., Algebra and Number Theory 2026 P. 1–10
We study the K-Fibonacci sequence Fp modulo prime p. Cardinalities of sets |Fp+Fp| and |Fp⋅Fp| are estimated. We present the method of estimating doubling constant of some m-dimensional recurrent sets in Fp. ...
Добавлено: 1 октября 2026 г.
Куксин С. Б., Shirikyan A., Journal of Dynamics and Differential Equations 2026 P. 1098–1100
Добавлено: 1 октября 2026 г.
Потанин Б. С., Долгих С. И., Statistics and Probability Letters 2027 Article 110984
Добавлено: 1 октября 2026 г.
A. V. Pereskokov, Journal of Mathematical Sciences 2026 Vol. 302 No. 4 P. 531–545
Добавлено: 1 октября 2026 г.
Шехтман В. Б., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.
Добавлено: 30 июня 2026 г.
Springer, 2026.
Добавлено: 30 июня 2026 г.
Дудаков С. М., Математика и теоретические компьютерные науки 2024 Т. 2 № 4 С. 51–65
Мы изучаем аддитивную теорию произвольных фигур в линейных пространствах, т.е. теорию множеств точек/векторов, на которые естественным образом распространена операция сложения. Наш основной результат: если линейное пространство бесконечно, то аддитивная теория фигур в нем позволяет интерпретировать арифметику второго порядка и, следовательно, имеет не меньшую степень неразрешимости. Для счетно бесконечных пространств мы доказываем обратный результат: теория фигур ...
Добавлено: 18 марта 2026 г.
Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2025 № 1 С. 5–13
В наших предыдущих работах мы видели, что теории фигур и подпространств для бесконечных линейных пространств имеют высокую степень неразрешимости: они допускают интерпретацию элементарной арифметики, а в случае бесконечных фигур - даже арифметики второго порядка. В случае конечных линейных пространств эти утверждения конечно же неверны, так как мы можем построить алгоритм, перебирающий все конечные линейные пространства ...
Добавлено: 18 марта 2026 г.
Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2024 № 2 С. 27–38
В наших предыдущих работах мы продемонстрировали, что теория конечных подмножеств различных ассоциативных алгебр позволяет интерпретировать элементарную арифметику, в частности, она неразрешима. Например, это было показано для любых бесконечных абелевых групп. Возникает естественный вопрос: можно ли обобщить этот результат на более широкий класс алгебр, скажем, все коммутативные моноиды. В некоторых случаях нами ответ тоже получен ранее: ...
Добавлено: 18 марта 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Алгебра и логика 2011 Т. 50 № 4 С. 533–546
Язык для рассуждений о вероятности обобщается за счёт добавления в него кванторов по пропозициональным формулам. Далее рассматриваются соответствующие вопросы разрешимости. В частности, представленные результаты демонстрируют неразрешимость проблемы общезначимости для довольно слабого фрагмента нового языка. С другой стороны, устанавливается разрешимость ограниченной проблемы общезначимости для АЕ-предложений. ...
Добавлено: 27 декабря 2025 г.
Вялый М. Н., Шиманогов И. Н., Труды Московского физико-технического института 2024 Т. 16 № 4 С. 128–134
В данной работе рассматривается обобщение задачи регулярной реализуемости. Вводится понятие относительно регулярных булевых алгебр — булевых алгебр, состоящих из пересечений регулярных языков с некоторым фиксированным языком. Доказывается теорема о том, что для произвольной атомной булевой алгебры существует изоморфная ей относительно регулярная алгебра. ...
Добавлено: 18 ноября 2025 г.