?
Невозможность погружения логики HC в логику IEL+ с сохранением классической импликации
Успехи математических наук. 2025. Т. 80. № 5(485). С. 187–188.
аннотации нет, так как статья - краткое сообщение
Ключевые слова: неклассические логики
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Alfimov Mikhail, Kurakin Andrey, Journal of High Energy Physics 2026 Vol. 2026 Article 99
Добавлено: 12 ноября 2026 г.
Игнатьев М. В., Вилкин Т. В., Mediterranean Journal of Mathematics 2026 Vol. 23 No. 2 Article 70
Добавлено: 12 ноября 2026 г.
Максаев А. М., Промыслов В. В., Тишутин П. С., Записки научных семинаров ПОМИ РАН 2026 Т. 554 С. 218–235
Пусть K — алгебраически замкнутое поле, а ℰₖ — множество n × n матриц над K, имеющих ровно k различных собственных значений. Ранее классификация линейных отображений T: Mₙ(K) → Mₙ(K), удовлетворяющих условию T(ℰₙ) ⊆ ℰₙ, была получена для обратимых отображений над полем характеристики 0. В данной работе эта классификация распространяется на произвольные, в том числе ...
Добавлено: 11 ноября 2026 г.
Баринова М. К., Tirskaya Karina, Владикавказский математический журнал 2026 Vol. 28 No. 3 P. 25–43
В работе исследуется проблема существования энергетической функции для дискретных динамических систем, заданных структурно устойчивыми диффеоморфизмами на гладких, компактных, ориентируемых поверхностях без края. Для рассматриваемого класса такая функция определяется как непрерывная функция, убывающая вдоль орбит системы вне неблуждающего множества и постоянная на неблуждающих орбитах. На данный момент известно, что если неблуждающее множество структурно устойчивого диффеоморфизма поверхности ...
Добавлено: 11 ноября 2026 г.
Илларионов А. А., Математический сборник 2026 Т. 217 № 11 С. 56–87
Пусть $b(\alpha;T)$ --- количество наилучших совместных диофантовых приближений с общим знаменателем $\le T$ к точке $\alpha \in {\Bbb R}^n$.
Мы выводим асимптотические формулы для среднего значения этой величины (усреднение проводится по всем рациональным точкам вида $\alpha = (k_1/N,\ldots, k_n/N)$, $N\le R$), а также для ее математического ожидания
при условии, что $\alpha$ равномерно распределена на кубе $[0,1)^n$. ...
Добавлено: 10 ноября 2026 г.
Верещагин Н. К., Математический сборник 2026 Т. 217 № 10 С. 3–46
Теорема Гудмана-Штрауса утверждает, что для “почти всякой” подстановки семейство подстановочных замощений софично, т.е. может быть задано локальными правилами для некоторой раскраски плиток. Условия на подстановку, гарантирующие софичность, довольно сложные.
В настоящей работе мы предлагаем версию теоремы Гудмана-Штрауса с более простыми условиями на подстановку. Хотя эти условия достаточно ограничительны, мы показываем, что в сочетании с двумя простыми приемами (взятием достаточно ...
Добавлено: 10 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
Ретинский В. И., Функциональный анализ и его приложения 2026 Т. 60 № 4 С. 83–100
Приведено обобщение матричной теоремы о деревьях на случай перечисления пар остовных деревьев. Это обобщение включает в качестве частных случаев и унифицирует сразу несколько известных ранее результатов, в частности классическую теорему Кирхгофа, теорему Масбаума–Вайнтроба о перечислении 3-деревьев, а также аналог матричной теоремы о деревьях для перечисления 4-элементов Кирхгофа. ...
Добавлено: 5 ноября 2026 г.
Левашев В. А., Математические заметки 2026 Т. 120 № 5 С. 843–846
Пусть 𝐴 – коммутативное ассоциативное кольцо с единицей и 𝐴((𝑡)) = 𝐴[[𝑡]][𝑡−1] – кольцо рядов Лорана над 𝐴. Алгебра 𝐴((𝑡)) имеет естественную топологию, где 𝐴 – подмодули вида 𝑡𝑚𝐴[[𝑡]] образуют базу окрестностей нуля. Пусть также Ω1𝐴((𝑡))/𝐴 – модуль кэлеровых 1-дифференциалов 𝐴((𝑡)) над 𝐴. ...
Добавлено: 5 ноября 2026 г.
Алексеев О. В., Letters in Mathematical Physics 2026 Vol. 116 No. 5 Article 132
Добавлено: 5 ноября 2026 г.
Левин А. М., Сахарова Н. Е., / Series arXiv "math". 2024. No. 2412.17795.
Добавлено: 4 ноября 2026 г.
Жужома Е. В., Медведев В. С., Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 732–742
Добавлено: 3 ноября 2026 г.
Добавлено: 3 ноября 2026 г.
Жужома Е. В., Zhirov A. Y., Russian Journal of Nonlinear Dynamics 2026 Vol. 22 No. 2 P. 403–414
Добавлено: 3 ноября 2026 г.
Elena R. Loubenets, Sergey Kuznetsov, Quantum Information Processing 2026 Vol. 25 Article 358
Добавлено: 3 ноября 2026 г.
Добавлено: 3 ноября 2026 г.
Добавлено: 2 ноября 2026 г.
Смирнов С. В., Дынников И. А., Успехи математических наук 2002 Т. 57 № 6 С. 183–184
Изучаются точно решаемые циклические q-цепочки Дарбу, обобщающие q-осциллятор ...
Добавлено: 1 ноября 2026 г.
Оноприенко А. А., Математические заметки 2026 Т. 120 № 1 С. 118–139
Рассматриваются интуиционистские эпистемические логики IEL−, IEL и IEL+, введенные С. Артёмовым и Т. Протопопеску. Строится перевод формул этих логик в формулы классической бимодальной логики S4V−M, S4VM, S4V+M и S4V+MU, являющийся обобщением варианта перевода Гёделя интуиционистской логики в логику S4. Показана конечность множества попарно неэквивалентных модальностей в логиках S4V+M и S4V+MU и бесконечность множества попарно неэквивалентных ...
Добавлено: 22 июня 2026 г.
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Оноприенко А. А., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Добавлено: 31 января 2024 г.
Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 1 С. 123–128
В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC. ...
Добавлено: 28 декабря 2023 г.
Оноприенко А. А., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4. ...
Добавлено: 4 ноября 2023 г.
Оноприенко А. А., Вестник Московского университета. Серия 1: Математика. Механика 2022 № 5 С. 25–30
Рассматривается пропозициональный фрагмент HC совместной логики задач и высказываний, введенной С.А. Мелиховым. Строятся топологические модели этой логики, показывается корректность и полнота логики HC относительно этого типа моделей. Также строятся топологические модели логики H4, которая была введена С.Н. Артёмовым и Т. Протопопеску. ...
Добавлено: 22 декабря 2022 г.