Доклады и лекции в базе данных Math-Net.Ru
Лекция 12. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 16 декабря 2025 г. 16:00
Лекция 11. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 9 декабря 2025 г. 16:00
Лекция 10. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 2 декабря 2025 г. 16:00
Лекция 9. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 25 ноября 2025 г. 16:00
Лекция 8. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 18 ноября 2025 г. 16:00
Лекция 7. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 11 ноября 2025 г. 16:00
Лекция 6. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 28 октября 2025 г. 16:00
Лекция 5. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 21 октября 2025 г. 16:00
Лекция 4. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 7 октября 2025 г. 16:00
Лекция 3. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 30 сентября 2025 г. 16:00
Лекция 2. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 23 сентября 2025 г. 16:00
Лекция 1. Нестандартные модели арифметики Курс Л. Д. Беклемишева и С. О. Сперанского "Нестандартные модели арифметики" 16 сентября 2025 г. 16:00
Стройные порядки и независимые комбинаторные утверждения. Лекция 2 Двухдневная осенняя школа «Современные направления математической логики» 3 сентября 2025 г.
Стройные порядки и независимые комбинаторные утверждения. Лекция 1 Двухдневная осенняя школа «Современные направления математической логики» 3 сентября 2025 г.
Модели арифметики и комбинаторные независимые утверждения. Семинар 4 Летняя школа «Современная математика» имени Виталия Арнольда, 2025 26 июля 2025 г.
Модели арифметики и комбинаторные независимые утверждения. Семинар 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2025 24 июля 2025 г.
Модели арифметики и комбинаторные независимые утверждения. Семинар 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2025 22 июля 2025 г.
Модели арифметики и комбинаторные независимые утверждения. Семинар 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2025 20 июля 2025 г.
Лекция 11. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 21 мая 2025 г. 16:00
Лекция 10. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 14 мая 2025 г. 16:00
Лекция 9. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 23 апреля 2025 г. 18:45
Лекция 8. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 16 апреля 2025 г. 16:00
Фрагменты арифметики и циклические доказательства Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 14 апреля 2025 г. 16:00
Лекция 7. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 9 апреля 2025 г. 16:00
Лекция 6. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 2 апреля 2025 г. 16:30
Лекция 5. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 12 марта 2025 г. 16:00
Лекция 4. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 5 марта 2025 г. 16:00
Лекция 3. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 26 февраля 2025 г. 16:00
Циклические доказательства Математический семинар ФКН ВШЭ 21 февраля 2025 г.
Лекция 2. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 19 февраля 2025 г. 16:00
Лекция 1. Введение в теорию моделей, часть II Курс Л. Д. Беклемишева "Введение в теорию моделей, часть II" 12 февраля 2025 г. 16:00
Логика и топология: родственные связи. Семинар 4 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 26 июля 2024 г.
Логика и топология: родственные связи. Семинар 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 25 июля 2024 г.
Логика и топология: родственные связи. Семинар 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 23 июля 2024 г.
Логика и топология: родственные связи. Семинар 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 22 июля 2024 г.
Лекция 14. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 21 мая 2024 г. 16:00
Отдел математической логики МИАН-90 15 мая 2024 г.
Лекция 13. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 14 мая 2024 г. 16:00
Лекция 12. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 7 мая 2024 г. 16:00
Лекция 11. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 23 апреля 2024 г. 16:00
Лекция 10. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 16 апреля 2024 г. 16:00
Лекция 9. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 9 апреля 2024 г. 16:00
Лекция 8. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 2 апреля 2024 г. 16:00
Лекция 7. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 26 марта 2024 г. 16:00
Лекция 6. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 19 марта 2024 г. 16:00
Лекция 5. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 12 марта 2024 г. 16:00
Лекция 4. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 5 марта 2024 г. 16:00
Лекция 3. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 27 февраля 2024 г. 16:00
Лекция 2. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 20 февраля 2024 г. 16:00
Лекция 1. Введение в теорию моделей Курс Л. Д. Беклемишева "Введение в теорию моделей" 13 февраля 2024 г. 16:00
Лекция 13. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 12 декабря 2023 г. 16:45
Лекция 12. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 5 декабря 2023 г. 16:45
Лекция 11. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 21 ноября 2023 г. 16:45
Лекция 10. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 14 ноября 2023 г. 16:45
Лекция 9. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 7 ноября 2023 г. 16:45
Лекция 8. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 31 октября 2023 г. 16:45
Лекция 7. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 24 октября 2023 г. 16:45
Лекция 6. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 17 октября 2023 г. 16:45
Лекция 5. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 10 октября 2023 г. 16:45
Лекция 4. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 3 октября 2023 г. 16:45
General topological frames for polymodal provability logic based on periodic sets of ordinals Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 2 октября 2023 г. 18:30
Лекция 3. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 26 сентября 2023 г. 16:45
Лекция 2. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 19 сентября 2023 г. 16:45
Лекция 1. Доказуемость и формальная арифметика, часть 2 Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2" 12 сентября 2023 г. 16:45
Гёдель и антигёдель: о граничных условиях теорем Гёделя о неполноте Летняя школа «Современная математика» имени Виталия Арнольда, 2023 27 июля 2023 г.
Быстрорастущие функции и недоказуемые комбинаторные утверждения Конференция «Колмогоров-120. МИАН» 26 апреля 2023 г.
Reflection algebras and conservativity spectra of theories Beijing–Moscow Mathematics Colloquium 7 апреля 2023 г.
Алгебры рефлексии для предикативных расширений арифметики Пеано Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 16 февраля 2023 г. 16:00
Лекция 13. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 13 декабря 2022 г.
Алгебры рефлексии для предикативных расширений арифметики Пеано Научная сессия МИАН, посвященная подведению итогов 2022 года 23 ноября 2022 г.
Лекция 11. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 22 ноября 2022 г.
Лекция 10. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 15 ноября 2022 г.
Лекция 8. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 1 ноября 2022 г.
Лекция 7. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 25 октября 2022 г.
Лекция 6. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 18 октября 2022 г.
Лекция 5. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 11 октября 2022 г.
Лекция 4. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 4 октября 2022 г.
Лекция 3. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 27 сентября 2022 г.
Лекция 2. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 20 сентября 2022 г.
Лекция 1. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 13 сентября 2022 г.
Беседы об основаниях математики. Беседа 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2022 27 июля 2022 г.
Беседы об основаниях математики. Беседа 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2022 26 июля 2022 г.
Reading Kreisel: what we do (not) understand Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 28 марта 2022 г. 18:30
Conservativity spectra and generalized Ignatiev model Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 14 марта 2022 г. 18:30
Лекция 1. Неклассические логики Неклассические логики 8 февраля 2022 г.
Лекция 14. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 14 декабря 2021 г.
Лекция 13. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 7 декабря 2021 г.
Лекция 12. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 30 ноября 2021 г.
Лекция 11. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 23 ноября 2021 г.
Лекция 10. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 16 ноября 2021 г.
Лекция 9. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 9 ноября 2021 г.
Лекция 8. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 2 ноября 2021 г.
Лекция 7. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 26 октября 2021 г.
Лекция 6. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 19 октября 2021 г.
Лекция 5. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 12 октября 2021 г.
Лекция 4. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 5 октября 2021 г.
Лекция 3. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 28 сентября 2021 г.
Лекция 2. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 21 сентября 2021 г.
Лекция 1. Доказуемость и формальная арифметика Доказуемость и формальная арифметика 14 сентября 2021 г.
Модели и интерпретации. Семинар Летняя школа «Современная математика» имени Виталия Арнольда, 2021 29 июля 2021 г. 09:30
Модели и интерпретации. Лекция Летняя школа «Современная математика» имени Виталия Арнольда, 2021 27 июля 2021 г. 09:30
Лекция 14. Аспекты теоремы о неполноте Спецкурс "Доказуемость и формальная арифметика" 22 декабря 2020 г. 14:30
Лекция 13. Доказуемость как модальность Спецкурс "Доказуемость и формальная арифметика" 15 декабря 2020 г. 14:30
Лекция 12. Формализация синтаксиса в арифметике Спецкурс "Доказуемость и формальная арифметика" 8 декабря 2020 г. 14:30
Лекция 11. Доказуемо рекурсивные функции Спецкурс "Доказуемость и формальная арифметика" 1 декабря 2020 г. 14:30
Лекция 10. Неподвижная точка Россера Спецкурс "Доказуемость и формальная арифметика" 24 ноября 2020 г. 14:30
Лекция 9. Теорема Лёба и вторая теорема Гёделя о неполноте Спецкурс "Доказуемость и формальная арифметика" 17 ноября 2020 г. 14:30
Лекция 8. Лемма о диагонализации Спецкурс "Доказуемость и формальная арифметика" 10 ноября 2020 г. 14:30
Лекция 7. Представимость функций Спецкурс "Доказуемость и формальная арифметика" 3 ноября 2020 г. 14:30
Лекция 6. Теорема Гёделя-Россера Спецкурс "Доказуемость и формальная арифметика" 27 октября 2020 г. 14:30
Лекция 5. Первая теорема Гёделя о неполноте Спецкурс "Доказуемость и формальная арифметика" 20 октября 2020 г. 14:30
Лекция 4. Определимость перечислимых предикатов арифметическими $\Sigma_1$ -формулами Спецкурс "Доказуемость и формальная арифметика" 13 октября 2020 г. 14:30
Лекция 3.Определимость в языке арифметики Спецкурс "Доказуемость и формальная арифметика" 6 октября 2020 г. 14:30
Лекция 2. Слабые фрагменты арифметики Пеано и их модели Спецкурс "Доказуемость и формальная арифметика" 29 сентября 2020 г. 14:30
Лекция 1. Язык и аксиомы арифметики Пеано Спецкурс "Доказуемость и формальная арифметика" 22 сентября 2020 г.
Вступительное слово Мемориальная конференция памяти С. И. Адяна 26 мая 2020 г.
Лекция 21. Применения функциональной интерпретации. Интерпретация отсутствием контрпримера. Модели системы Т Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 12 мая 2020 г. 16:30
Лекция 20. Гёделевская система Т. Интерпретация формальной арифметики в Т (продолжение) Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 28 апреля 2020 г.
Лекция 19. Гёделевская система $Т$ . Функциональная интерпретация интуиционистской арифметики в $Т$ Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 21 апреля 2020 г.
Лекция 18. Интуиционистская арифметика Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 14 апреля 2020 г. 16:30
Лекция 17. Примитивно рекурсивная арифметика Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 7 апреля 2020 г.
Лекция 16. Негативная интерпретация классической логики в интуиционистской Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 26 марта 2020 г. 16:00
Лекция 15. Интуиционистское исчисление предикатов. Гильбертовский и генценовский формат. Теорема об устранении сечения. Дизъюнктивное и экзистенциальное свойства интуиционистской логики. Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 23 марта 2020 г. 16:30
Лекция 13. Слабо экстенсиональные лямбда-алгебры. Модель Плоткина $\mathcal{P}\omega$ . Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 2 марта 2020 г. 16:30
Лекция 12. Комбинаторные алгебры, лямбда-алгебры. Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 17 февраля 2020 г. 16:30
Лекция 11. Модели лямбда-исчисления Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 10 февраля 2020 г. 16:30
Лекция 10. Комбинаторная логика Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 9 декабря 2019 г. 16:30
Об открытых вопросах теории доказательств Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 14 октября 2019 г.
Лекция 1.Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 30 сентября 2019 г.
Итерированные определения истинности и исчисление рефлексий Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 29 апреля 2019 г. 18:30
Лекция 16. Соотношение между принципом Червя и доказуемо-вычислимыми функциями PA. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 4 марта 2019 г. 16:30
Лекция 15. Теоретико-доказательственный анализ $\mathsf{PA}$ с помощью схем рефлексии. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 25 февраля 2019 г. 16:30
Ординалы и спектры консервативности арифметических теорий Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 21 февраля 2019 г. 16:00
Лекция 14. Лемма о редукции для схем рефлексии. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 18 февраля 2019 г. 16:30
Лекция 13. Доказуемо вычислимые функции $\mathsf{PA}$ , принцип Червя, схемы рефлексии. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 11 февраля 2019 г. 16:30
Лекция 9. Иерархия Веблена. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 26 ноября 2018 г. 16:30
Исчисление для схем рефлексии и спектры консервативности Научная сессия МИАН, посвященная подведению итогов 2018 года 21 ноября 2018 г.
Лекция 8. Ординалы. Канторовская система ординальных обозначений для ординала $\varepsilon_0$ . Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 19 ноября 2018 г. 16:30
Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 2). Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 12 ноября 2018 г. 16:30
О спектрах консервативности арифметических теорий «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 6 ноября 2018 г.
Как теория доказательств пришла к своим ординалам Межкафедральный семинар МФТИ по дискретной математике 17 октября 2018 г.
Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 15 октября 2018 г. 16:30
Лекция 3. Доказуемо вычислимые функции теории $\mathsf{EA}$ . Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 8 октября 2018 г. 16:30
Лекция 2. Арифметка элементарных функций $\mathsf{EA}$ . Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 1 октября 2018 г. 16:30
Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару функции. Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ 24 сентября 2018 г. 16:30
Доказуемо рекурсивные функции, занятие 4 Летняя школа «Современная математика» имени Виталия Арнольда, 2018 25 июля 2018 г.
Доказуемо рекурсивные функции, занятие 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2018 24 июля 2018 г.
Доказуемо рекурсивные функции, занятие 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2018 22 июля 2018 г.
Доказуемо рекурсивные функции, занятие 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2018 21 июля 2018 г.
Об универсальной модели Крипке для позитивной логики доказуемости с операторами, выражающими консервативность «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 24 октября 2017 г.
Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 13 марта 2017 г.
О позитивной логике доказуемости с операторами консервативности Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 28 ноября 2016 г.
О позитивной логике доказуемости с операторами консервативности Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 21 ноября 2016 г.
О позитивной логике доказуемости с операторами, выражающими консервативность «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 1 ноября 2016 г.
Строго позитивные фрагменты модальных и дескрипционных логик Коллоквиум Факультета компьютерных наук НИУ ВШЭ 20 сентября 2016 г.
Доказуемость и модальная логика. Занятие 4 Летняя школа «Современная математика», 2016 27 июля 2016 г. 11:15
Доказуемость и модальная логика. Занятие 3 Летняя школа «Современная математика», 2016 26 июля 2016 г. 15:30
Доказуемость и модальная логика. Занятие 2 Летняя школа «Современная математика», 2016 24 июля 2016 г. 11:15
Доказуемость и модальная логика. Занятие 1 Летняя школа «Современная математика», 2016 22 июля 2016 г. 11:15
Positive provability logic and reflection calculus Математическая логика, алгебра и вычислимость: двухдневная конференция, посвященная 85-летию С. И. Адяна 19 июля 2016 г.
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение) Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 14 марта 2016 г.
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 29 февраля 2016 г. 18:30
Логика интерпретируемости. Часть 2 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 23 ноября 2015 г. 18:30
Логика интерпретируемости. Часть 1 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 16 ноября 2015 г. 18:30
Интерпретации моделей и логических теорий Межкафедральный семинар МФТИ по дискретной математике 21 октября 2015 г.
О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко; продолжение) «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 19 мая 2015 г.
О медленно сходящихся системах подстановок термов в логике первого порядка (по совместной работе с А.А. Оноприенко) «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 12 мая 2015 г.
Позитивная логика для схем рефлексии в арифметике Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 22 января 2015 г. 16:00
Позитивная логика для схем рефлексии в арифметике Научная сессия МИАН, посвященная подведению итогов 2014 года 12 ноября 2014 г.
Доказуемость и разреженная топология Межкафедральный семинар МФТИ по дискретной математике 22 октября 2014 г.
Элементарная геометрия с точки зрения логики. Лекция 3 Летняя школа «Современная математика», 2014 23 июля 2014 г. 17:00
Элементарная геометрия с точки зрения логики. Лекция 2 Летняя школа «Современная математика», 2014 21 июля 2014 г. 11:15
Элементарная геометрия с точки зрения логики. Лекция 1 Летняя школа «Современная математика», 2014 20 июля 2014 г. 17:00
О позитивных логиках доказуемости «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 10 декабря 2013 г.
Доказуемо рекурсивные функции Общеинститутский семинар «Коллоквиум МИАН» 5 декабря 2013 г. 16:00
Что такое логика доказуемости? Летняя школа «Современная математика», 2013 21 июля 2013 г. 12:45
Прогрессии Тьюринга Межкафедральный семинар МФТИ по дискретной математике 17 апреля 2013 г. 18:30
Об арифметически полном исчислении для равномерных схем рефлексии «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 19 марта 2013 г.
Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 4 Летняя школа «Современная математика», 2012 26 июля 2012 г. 15:30
Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 3 Летняя школа «Современная математика», 2012 25 июля 2012 г. 15:30
Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 2 Летняя школа «Современная математика», 2012 24 июля 2012 г. 11:15
Быстрорастущие функции («быстрее, выше, сильнее»). Лекция 1 Летняя школа «Современная математика», 2012 22 июля 2012 г. 17:00
Быстрорастущие функции («быстрее, выше, сильнее»). Вводная лекция Летняя школа «Современная математика», 2012 21 июля 2012 г. 11:15
Алгебры доказуемости Заседания Московского математического общества 28 февраля 2012 г. 18:30
Алгебры доказуемости Семинар «Глобус» (записи с 2011 года) 16 февраля 2012 г. 15:40
Алгебра доказуемости и разреженная топология Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика» 17 декабря 2009 г. 12:50
Алгебры доказуемости и фрагменты арифметики Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 19 октября 2006 г. 16:00
© , 2026
