?
A realization theorem for the Gödel-Löb provability logic
Sbornik Mathematics. 2016. Vol. 207. No. 9. P. 1344-1360.
Переводчик: Шамканов Д. С.
Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба GL, и доказана теорема о реализации логики GL в данной логике свидетельств относительно нормальных реализаций.
Шамканов Д. С., Mathematical notes 2014 Vol. 96 No. 4 P. 575-585
В статье рассматривается исчисление секвенций для логики доказуемости GL, доказуемость в котором основана на понятии циклического вывода. В отличие от обычных выводов, циклический вывод можно представлять себе не как дерево, но как граф, содержащий циклы. Используя данное понятие, мы даем синтаксическое доказательство интерполяционного свойства Линдона для логики GL. ...
Добавлено: 13 августа 2014 г.
Шамканов Д. С., Proceedings of the Steklov Institute of Mathematics 2011 Vol. 274 No. 1 P. 303-316
Исследуются интерполяционные свойства логик доказуемости. Доказаны интерполяционное свойство Линдона для логики GL и равномерное интерполяционное свойство для логики GLP. ...
Добавлено: 6 февраля 2013 г.
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 г.
Шамканов Д. С., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776-796
Добавлено: 20 декабря 2019 г.
Беклемишев Л. Д., Gabelaia D., Annals of Pure and Applied Logic 2013 Vol. 164 No. 12 P. 1201-1223
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 ...
Добавлено: 16 сентября 2013 г.
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 г.
Berger G., Беклемишев Л. Д., Tompits H., / Cornell University. Series math "arxiv.org". 2016. No. 1601.02857.
Добавлено: 13 марта 2016 г.
Yury Savateev, Daniyar Shamkanov, Review of Symbolic Logic 2021 Vol. 14 No. 1 P. 22-50
Добавлено: 26 февраля 2018 г.
Шамканов Д. С., 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 г.
Борзых Д. А., ЛЕНАНД, 2021
Книга представляет собой экспресс-курс по теории вероятностей в контексте начального курса эконометрики. В курсе в максимально доступной форме изложен тот минимум, который необходим для осознанного изучения начального курса эконометрики. Данная книга может не только помочь ликвидировать пробелы в знаниях по теории вероятностей, но и позволить в первом приближении выучить предмет «с нуля». При этом, благодаря доступности изложения и небольшому объему книги, ...
Добавлено: 20 февраля 2021 г.
Гринес В. З., Гуревич Е. Я., Починка О. В., Russian Mathematical Surveys 2017 Vol. 71 No. 6 P. 1146-1148
В работе обсуждается решение проблемы Палиса об отыскании достаточных условий включения диффеоморфизма Морса-Смейла в топологический поток. ...
Добавлено: 17 мая 2017 г.
Окуньков А. Ю., Aganagic M., Moscow Mathematical Journal 2017 Vol. 17 No. 4 P. 565-600
Добавлено: 25 октября 2018 г.
Котельникова М. В., Аистов А. В., Вестник Нижегородского университета им. Н.И. Лобачевского. Серия: Социальные науки 2019 Т. 55 № 3 С. 183-189
Представлено описание метода, позволяющего совершенствовать содержание дисциплин математического цикла, разделяя их на инвариантную (общую) и вариативную части. Приводятся результаты выделения инвариантов для дисциплин «Линейная алгебра», «Математический анализ», «Теория вероятностей и математическая статистика», преподаваемых экономистам-бакалаврам нескольких вузов. На основе выделенных инвариантов предлагаются темы для организации самостоятельной проектной и исследовательской деятельности студентов, ориентированной на содержание курса «Эконометрика». ...
Добавлено: 28 января 2020 г.
Alexandrov D. E., Galkin V. V., Zobnin A.I. и др., Journal of Mathematical Sciences 2009 Vol. 163 No. 5 P. 469-486
Добавлено: 1 октября 2014 г.
Красноярск : ИВМ СО РАН, 2013
Труды Пятой Международной конференции «Системный анализ и информационные технологии» САИТ-2013 (19–25 сентября 2013 г., г.Красноярск, Россия): ...
Добавлено: 18 ноября 2013 г.
В. Л. Попов, Математические заметки 2017 Т. 102 № 1 С. 72-80
Мы доказываем, что аффинно-треугольные подгруппы являются борелевскими подгруппами групп Кремоны. ...
Добавлено: 3 мая 2017 г.
Беклемишев Л. Д., Оноприенко А. А., Математический сборник 2015 Т. 206 № 9 С. 3-20
Формулируются системы преобразований термов, число шагов работы которых на произвольном входе конечно, но не ограничивается никакой вычислимой функцией, доказуемо тотальной в арифметике Пеано PА. Тем самым, утверждение о сходимости таких систем не доказуемо в PA. Эти системы получаются из независимого комбинаторного утверждения, известного как принцип червя; их также можно рассматривать как вариант хорошо известной игры Геракла и гидры, ...
Добавлено: 13 марта 2016 г.
Пахомов Ф. Н., Известия РАН. Серия математическая 2016 Т. 80 № 6 С. 173-216
Полимодальная логика доказуемости
GLP была введена Г. К. Джапаридзе в 1986 г. Она является логикой доказуемости для ряда цепочек предикатов доказуемости возрастающей силы. Всякой полимодальной логике соответствует многообразие полимодальных алгебр. Л. Д. Беклемишевым и А. Виссером был поставлен вопрос о разрешимости элементарной теории свободной GLP-алгебры, порожденной константами 0, 1 [1]. В этой статье для любого натурального n решается аналогичный вопрос для логик GLPn, являющихся ...
Добавлено: 4 декабря 2017 г.
Левашов М. В., Кухаренко А. В., Вопросы защиты информации 2018 № 2 С. 66-71
Рассматривается статистическая модель одного этапа системы фрод-мониторинга транзакций в интернет-банкинге. Построен и рассчитан близкий к отношению правдоподобия критерий отсева мошеннических транзакций. Для выборочных распределений, полученных на выборке объема в 1 млн реальных транзакций, вычислены параметры эффективности этого критерия. ...
Добавлено: 14 июня 2018 г.
Min Namkung, Younghun K., Scientific Reports 2018 Vol. 8 No. 1 P. 16915-1-16915-18
Добавлено: 16 ноября 2020 г.
Литвин Ю. В., Абрамов И. В., Технологии техносферной безопасности 2016 № 66
Расширен подход к оценке случайного времени прибытия пожарных боевых расчётов на объект защиты, времени их занятости и свободного горения. Получены некоторые количественные оценки с использованием рассмотренных аналитических методов и имитации ...
Добавлено: 27 августа 2016 г.