?
Topological completeness of the provability logic GLP
Annals of Pure and Applied Logic. 2013. Vol. 164. No. 12. P. 1201-1223.
Беклемишев Л. Д., Gabelaia D.
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces. © 2013 Elsevier B.V.
Шамканов Д. С., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776-796
Добавлено: 20 декабря 2019 г.
Berger G., Беклемишев Л. Д., Tompits H., / Cornell University. Series math "arxiv.org". 2016. No. 1601.02857.
Добавлено: 13 марта 2016 г.
We consider a many-sorted variant of Japaridze’s polymodal provability logic (GLP). In this variant, which is denoted GLP∗, propositional variables are assigned sorts n≤ω, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...
Добавлено: 14 февраля 2019 г.
L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1-46
Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...
Добавлено: 13 марта 2016 г.
We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength.
We shall provide a reduction of these logics to GLP(\omega) yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of ...
Добавлено: 12 февраля 2013 г.
Шамканов Д. С., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344-1360
Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба GL, и доказана теорема о реализации логики GL в данной логике свидетельств относительно нормальных реализаций. ...
Добавлено: 25 ноября 2016 г.
Шамканов Д. С., Mathematical notes 2014 Vol. 96 No. 4 P. 575-585
В статье рассматривается исчисление секвенций для логики доказуемости GL, доказуемость в котором основана на понятии циклического вывода. В отличие от обычных выводов, циклический вывод можно представлять себе не как дерево, но как граф, содержащий циклы. Используя данное понятие, мы даем синтаксическое доказательство интерполяционного свойства Линдона для логики GL. ...
Добавлено: 13 августа 2014 г.
Шамканов Д. С., Logic Journal of the IGPL 2015 Vol. 23 No. 5 P. 789-815
We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically. ...
Добавлено: 2 июля 2015 г.
Шамканов Д. С., Proceedings of the Steklov Institute of Mathematics 2011 Vol. 274 No. 1 P. 303-316
Исследуются интерполяционные свойства логик доказуемости. Доказаны интерполяционное свойство Линдона для логики GL и равномерное интерполяционное свойство для логики GLP. ...
Добавлено: 6 февраля 2013 г.
В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Добавлено: 3 мая 2017 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
Гринес В. З., Гуревич Е. Я., Починка О. В., Russian Mathematical Surveys 2017 Vol. 71 No. 6 P. 1146-1148
В работе обсуждается решение проблемы Палиса об отыскании достаточных условий включения диффеоморфизма Морса-Смейла в топологический поток. ...
Добавлено: 17 мая 2017 г.
Борзых Д. А., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Добавлено: 20 февраля 2021 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Окуньков А. Ю., Aganagic M., Moscow Mathematical Journal 2017 Vol. 17 No. 4 P. 565-600
Добавлено: 25 октября 2018 г.
Danilov B.R., Moscow University Computational Mathematics and Cybernetics 2013 Vol. 37 No. 4 P. 180-188
Добавлено: 2 декабря 2019 г.
Америк Е. Ю., Вербицкий М. С., / Cornell University. Series arXiv "math". 2021.
Добавлено: 7 апреля 2022 г.
Литвин Ю. В., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Расширен подход к оценке случайного времени прибытия пожарных боевых расчётов на объект защиты, времени их занятости и свободного горения. Получены некоторые количественные оценки с использованием рассмотренных аналитических методов и имитации ...
Добавлено: 27 августа 2016 г.
Левашов М. В., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Добавлено: 14 июня 2018 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Добавлено: 16 ноября 2020 г.
Кокоулина М. В., Епифанова А. С., Пелиновский Е. Н. и др., Труды НГТУ им. Р.Е. Алексеева 2020 № 3 С. 28-41
В условиях спада заболеваемости коронавирусом во многих странах накопленные данные позволяют представить анализ в широком диапазоне значений от начала эпидемии до ее конца. Целью настоящей работы является анализ динамики развития COVID-19 c помощью обобщенного стохастического логистического уравнения для оценки числа вероятных пиков заболеваемости коронавирусом, а также оценка характера разброса коэффициентов обобщенной логистической модели в целом. ...
Добавлено: 29 сентября 2020 г.