?
О теории решеток подалгебр для произвольных группоидов
Математические заметки. 2026. Т. 119. № 2. С. 208–219.
В статье исследуется теория решеток подалгебр для класса произвольных группоидов – алгебр, содержащих бинарную операцию. Ранее было доказано, что аналогичные теории решеток для классов абелевых групп, всех групп, моноидов и полугрупп позволяют интерпретировать элементарную арифметику. Следовательно, они неразрешимы и не имеют рекурсивной аксиоматизации. Вопрос о теории решеток для класса всех группоидов оставался открытым, так как доказательство использовало ассоциативность бинарной операции. В настоящей работе мы используем метод, который позволяет обойти это ограничение, он применим к произвольным группоидам. Это доказывает возможность интерпретации элементарной арифметики в теории решеток подалгебр для класса всех группоидов. Значит, теория решеток подалгебр для класса всех группоидов алгоритмически неразрешима и не имеет рекурсивной аксиоматизации. Также мы приводим некоторые результаты о верхней оценке степени неразрешимости теорий решеток группоидов.
Библиография: 12 названий.
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Rossi P., Letters in Mathematical Physics 2024 Vol. 114 Article 97
Добавлено: 23 июня 2026 г.
We prove that the cohomology classes of the moduli spaces of residueless meromorphic differentials, ie the closures, in the moduli space of stable curves, of the loci of smooth curves whose marked points are the zeros and poles of prescribed orders of a meromorphic differential with vanishing residues, form a partial cohomological field theory (CohFT) of ...
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Труды Математического института им. В.А. Стеклова РАН 2024 Т. 325 С. 26–66
Основная цель работы -- показать, что DR-иерархии, введенные автором в более ранней работе, позволяют наиболее ясно установить связь между топологией компактификации Делиня-Мамфорда пространства модулей гладких алгебраических кривых рода g с n отмеченными точками и интегрируемыми системами математической физики. Также обсуждается перспективный подход, даваемый теорией DR-иерархий, к решению общей проблемы в области гипотез виттеновского типа, а именно к доказательству существования иерархии Дубровина-Чжана ...
Добавлено: 23 июня 2026 г.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Джанбекова А. Р., Шведов А. С., Математическое моделирование 2026 Т. 38 № 3 С. 159–176
Краевые задачи для уравнения Блэка–Шоулза с частными производными, описывающего стоимость финансового инструмента, могут содержать условие на свободной границе, если предусмотрена возможность раннего исполнения финансового инструмента. В настоящей статье рассматриваются краевые задачи со свободной границей для уравнения Блэка–Шоулза и уравнения конвекции-диффузии. Для уравнения конвекции-диффузии представлена разностная схема, являющаяся обобщением известной разностной схемы второго порядка точности на ...
Добавлено: 20 июня 2026 г.
We give a natural definition of open Hurwitz numbers, where the weight of each ramified covering includes an integer parameter N taken to the power that is equal to the number of boundary components of a Riemann surface with boundary mapping to . We prove that the resulting sequence of partition functions, depending on , is a tau-sequence of ...
Добавлено: 19 июня 2026 г.
Буряк А. Ю., Rossi P., Communications in Mathematical Physics 2025 Vol. 406 Article 205
Of the two approaches to integrable systems associated to semisimple cohomological field theories (CohFTs), the one suggested by Dubrovin and Zhang and the more recent one using the geometry of the double ramification (DR) cycle, the second has the advantage of being very explicit. The Poisson operator of the DR hierarchy is , where is the metric ...
Добавлено: 19 июня 2026 г.
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Garzón J., Mora Rodríguez J., Морено Ф. Г., Applied Mathematics and Optimization 2026 Vol. 94 No. 10 P. 1–43
Добавлено: 17 июня 2026 г.
Нестеров А. С., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Добавлено: 16 июня 2026 г.
Дудаков С. М., Математика и теоретические компьютерные науки 2024 Т. 2 № 4 С. 51–65
Мы изучаем аддитивную теорию произвольных фигур в линейных пространствах, т.е. теорию множеств точек/векторов, на которые естественным образом распространена операция сложения. Наш основной результат: если линейное пространство бесконечно, то аддитивная теория фигур в нем позволяет интерпретировать арифметику второго порядка и, следовательно, имеет не меньшую степень неразрешимости. Для счетно бесконечных пространств мы доказываем обратный результат: теория фигур ...
Добавлено: 18 марта 2026 г.
Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2025 № 1 С. 5–13
В наших предыдущих работах мы видели, что теории фигур и подпространств для бесконечных линейных пространств имеют высокую степень неразрешимости: они допускают интерпретацию элементарной арифметики, а в случае бесконечных фигур - даже арифметики второго порядка. В случае конечных линейных пространств эти утверждения конечно же неверны, так как мы можем построить алгоритм, перебирающий все конечные линейные пространства ...
Добавлено: 18 марта 2026 г.
Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2024 № 2 С. 27–38
В наших предыдущих работах мы продемонстрировали, что теория конечных подмножеств различных ассоциативных алгебр позволяет интерпретировать элементарную арифметику, в частности, она неразрешима. Например, это было показано для любых бесконечных абелевых групп. Возникает естественный вопрос: можно ли обобщить этот результат на более широкий класс алгебр, скажем, все коммутативные моноиды. В некоторых случаях нами ответ тоже получен ранее: ...
Добавлено: 18 марта 2026 г.
Дудаков С. М., Известия РАН. Серия математическая 2025 Т. 89 № 2 С. 3–24
Рассматриваются алгебры конечных подмножеств, когда исходная алгебра является бесконечным группоидом. Доказывается, что для линейных пространств над полями конечной характеристики теория построенной алгебры алгоритмически эквивалентна элементарной арифметике. Далее этот результат обобщается на произвольные бесконечные абелевы группы. В качестве следствия получается, что общая теория классов всех алгебр конечных подмножеств имеет степень неразрешимости, не меньшую чем элементарная арифметика, ...
Добавлено: 18 марта 2026 г.
Руткевич А. М., Тетради по консерватизму 2022 № 1 С. 15–42
Термин «империя» употребляется сегодня применительно к самым разнообразным государствам, существовавшим на протяжении известной нам истории, поэтому даже определение, что такое империя, вызывает трудности. Историческое познание начинается с критики источников, реконструкции событий,
установления фактов. Построение теории осуществимо только после феноменологической дескрипции, тогда
как поспешное применение сегодняшних моделей социальных наук ведет к искажающей прошлое модернизации. Историк имеет дело с ...
Добавлено: 31 августа 2022 г.
Холматов Т. К., Электронный научно-образовательный журнал "История" 2021 Т. 12 № 9(107) Статья 33
Статья посвящена анализу теоретико-методологических взглядов историка Степана Борисовича Веселовского (1876—1952) на вспомогательные исторические дисциплины, такие как археография, генеалогия, ономастика, а также историческая география, которые получили наиболее заметное развитие в его научном творчестве. Опираясь на труды С. Б. Веселовского, связанных с четырьмя дисциплинами, проанализированы предметы дисциплин, их основная цель, задачи, а также подходы ученого при анализе ...
Добавлено: 24 октября 2021 г.
Гофман А. Б., Покровский Н. Е., Социологические исследования 2021 № 9 С. 3–15
Состояние современной теоретической социологии в России и в мире. Круглый стол, проведенный журналом "Социологические исследования" 2 июня 2021 г. ...
Добавлено: 19 октября 2021 г.
Кашников Б. Н., Человек 2021 Т. 32 № 3 С. 76–87
Теория справедливости Джона Ролза принадлежит к разряду
«локальных» теорий в современной этике. Такие теории определяются срединным положением между «сильными» теориями и «анти-теориями». Локальные теории не обладают целым рядом специфических черт сильных теорий, но и лишены многих их недостатков, за которые сильные теории подвергают критике противники этических теорий. Такие теории тесно связаны
с теориями социального выбора и позволяют ...
Добавлено: 26 сентября 2021 г.
Сотрудники кафедры финансового права МГУ им. М.В. Ломоносова, которая отмечает десятилетний юбилей, рассказали о наиболее актуальных и животрепещущих в теории финансового права темах исследований, имеющих практическое значение ...
Добавлено: 11 марта 2021 г.