?
Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 514. № 1. С. 123–128.
В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC.
Guterman A., Jonoska N., Kreines E. и др., Proceedings of the Edinburgh Mathematical Society 2026 Vol. 69 No. 3 P. 1041–1057
Добавлено: 27 сентября 2026 г.
Шишкина Э. Л., Современная математика. Фундаментальные направления 2026 Т. 72 № 1 С. 52–67
В статье на основе обобщённого потенциала Бесселя строится весовое пространство
Соболева дробного порядка. Полученные результаты применяются для анализа сингулярного
уравнения Шрёдингера дробного порядка. Для решения задачи Коши для этого уравнения доказана оценка, связывающая норму решения с нормой начального условия в весовом пространстве
Соболева. Остальная часть статьи посвящена вопросам теории ёмкости, построенной на основе
обобщённого потенциала Бесселя. ...
Добавлено: 26 сентября 2026 г.
Шишкина Э. Л., Computational Mathematics and Mathematical Physics 2026 Vol. 66 No. 5 P. 804–815
Добавлено: 26 сентября 2026 г.
Колокольцов В. Н., Шишкина Э. Л., Journal of Theoretical Probability 2026 P. 39–83
Добавлено: 26 сентября 2026 г.
Petr Kucheriaviy, Bulletin of the Australian Mathematical Society 2026
Добавлено: 25 сентября 2026 г.
Пелевин Ф. Е., Математические заметки 2026 Т. 120 № 1 С. 159–163
Две не равные тождественно нулю функции (последовательности элементов некоторого поля) будем называть эквивалентными, если они удовлетворяют функциональному уравнению типа теорем сложения тэта-функций. Основной результат работы состоит в том, что рассматриваемое отношение действительно является отношением эквивалентности. ...
Добавлено: 25 сентября 2026 г.
Shimanogov I. N., Вялый М. Н., Siberian Mathematical Journal 2026 Vol. 67 No. 5 P. 1203–1212
Добавлено: 25 сентября 2026 г.
Добавлено: 24 сентября 2026 г.
Соколов В. В., Adler V. E., Journal of Geometry and Physics 2026 Vol. 227 Article 105860
Добавлено: 24 сентября 2026 г.
Соколов В. В., BALAKHNEV M. Y., Ufa Mathematical Journal 2026 Vol. 18 No. №3 P. 85–93
Добавлено: 24 сентября 2026 г.
Яковлев Е. И., Maksimov D. A., Mathematical notes 2026 Vol. 120 No. 3 P. 483–496
Исследуются гладкие главные расслоения, тотальные пространства и базы которых представляют собой ориентированные во времени лоренцевы многообразия, а проекции являются лоренцевыми субмерсиями, сохраняющими ориентации во времени. Ранее авторами было показано, что хронологичность, причинность и устойчивая причинность всегда поднимаются с базы на пространство лоренцева расслоения, для сильной причинности и глобальной гиперболичности это верно в случае компактности структурной группы. В данной ...
Добавлено: 24 сентября 2026 г.
Добавлено: 24 сентября 2026 г.
Маршаков А. В., Yung A., Ievlev E. и др., Physical Review D - Particles, Fields, Gravitation and Cosmology 2026 No. 114 P. 1–22
Добавлено: 24 сентября 2026 г.
Demina M.V., Нечитайло В. Г., Analysis and Mathematical Physics 2026 Vol. 16 No. 5 P. 1–25
We present a method of finding non-Liouvillian first integrals of rational two-dimensional differential systems. The method is based on the existence of two independent invariants that satisfy a linear second-order ordinary differential equation with respect to one of the variables. We call systems with this property R-integrable. These invariants are not necessarily polynomial; they can ...
Добавлено: 24 сентября 2026 г.
Bitter I., Конаков В. Д., Mathematical notes 2026 Vol. 120 No. 4 P. 599–615
Добавлено: 24 сентября 2026 г.
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 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 г.
Оноприенко А. А., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Добавлено: 2 октября 2025 г.
Васюков В. Л., Ученые записки Крымского федерального университета имени В.И. Вернадского. Философия. Политология. Культурология 2024 Т. 10 № S С. 104–112
В европейской философии мотивы самонетождественности и подразумеваемой ею изменчивости обнаруживаются еще у Гераклита. Концепцию изменчивости и самонетождественности можно найти и на Востоке, например, у мутазилитов – представителей направления арабо-мусульманской философии, возникшего в первые века становления ислама и утвердившегося в VIII в. В буддийском онтологическом учении о мгновенности бытия и непостоянстве любого состояния представление о том, ...
Добавлено: 26 декабря 2024 г.
Рыбаков М. Н., Оноприенко А. А., В кн.: Международная конференция Мальцевские чтения: 11–15 ноября 2024 г.: тезисы докладов.: [б.и.], 2024. С. 44–44.
Доказывается PSPACE-трудность логики HC с одной переменной. ...
Добавлено: 17 ноября 2024 г.
Оноприенко А. А., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Добавлено: 31 января 2024 г.
Оноприенко А. А., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4. ...
Добавлено: 4 ноября 2023 г.