?
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.
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 2026 г.
Добавлено: 26 мая 2026 г.
Ильяшенко Ю. С., Шилин И. С., Stanislav Minkov, Russian Journal of Mathematical Physics 2026 Vol. 33 No. 1 P. 89–106
Добавлено: 26 мая 2026 г.
Добавлено: 25 мая 2026 г.
Добавлено: 23 мая 2026 г.
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Chertopolokhov V., Mukhamedov A., Bugriy G. и др., IEEE Access 2026 Vol. 14 P. 14369–14392
Добавлено: 22 мая 2026 г.
Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 Article 18
Добавлено: 21 мая 2026 г.
Ausubel L., Баранов О. В., Journal of Economic Theory 2026 Vol. 235 Article 106192
Добавлено: 20 мая 2026 г.
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Гуревич Е. Я., Сараев И. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 19–56
В работе рассматривается класс градиентно-подобных потоков без гетероклинических пересечений, заданных на замкнутых многообразиях размерности четыре. Мы показываем, что для таких потоков проблема полной топологической классификации сводится к комбинаторной задаче различения специальных оснащенных графов, описывающих взаимное расположение инвариантных многообразий и действие потока на блуждающем множестве. А именно, потоки топологически эквивалентны тогда и только тогда, когда их ...
Добавлено: 18 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
Дудаков С. М., Вестник Тверского государственного университета. Серия: Прикладная математика 2024 № 2 С. 27–38
В наших предыдущих работах мы продемонстрировали, что теория конечных подмножеств различных ассоциативных алгебр позволяет интерпретировать элементарную арифметику, в частности, она неразрешима. Например, это было показано для любых бесконечных абелевых групп. Возникает естественный вопрос: можно ли обобщить этот результат на более широкий класс алгебр, скажем, все коммутативные моноиды. В некоторых случаях нами ответ тоже получен ранее: ...
Добавлено: 18 марта 2026 г.
Дудаков С. М., Известия РАН. Серия математическая 2025 Т. 89 № 2 С. 3–24
Рассматриваются алгебры конечных подмножеств, когда исходная алгебра является бесконечным группоидом. Доказывается, что для линейных пространств над полями конечной характеристики теория построенной алгебры алгоритмически эквивалентна элементарной арифметике. Далее этот результат обобщается на произвольные бесконечные абелевы группы. В качестве следствия получается, что общая теория классов всех алгебр конечных подмножеств имеет степень неразрешимости, не меньшую чем элементарная арифметика, ...
Добавлено: 18 марта 2026 г.
Сперанский С. О., Logic Journal of the IGPL 2025 Vol. 33 No. 3 Article jzae114
We shall be concerned with two natural expansions of the quantifier-free ‘polynomial’ probability logic of [Fagin et al. 1990]. One of these, denoted by QPL-e, is obtained by adding quantifiers over arbitrary events, and the other, denoted by p-QPL-e, uses quantifiers over propositional formulas — or equivalently, over events expressible by such formulas. The earlier proofs ...
Добавлено: 26 декабря 2025 г.
Авербух Ю. В., SIAM Journal on Control and Optimization 2016 Vol. 54 No. 5 P. 2629–2649
Добавлено: 17 апреля 2020 г.
Бирюков Д. С., Scrinium: Journal of Patrology and Critical Hagiography 2018 Vol. 14 No. 1 P. 373–391
Добавлено: 5 октября 2018 г.