Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ, г. Москва, 24 сентября 2018 – 20 мая 2019 г.
-
Лекция 12 Лемма об ограниченности для $\omega$-выводов и свойства $\Pi^1_1$-ординалов теорий
Ф. Н. Пахомов
17 декабря 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 11. $\omega$-выводы.
Ф. Н. Пахомов
10 декабря 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 10. Система обозначений для ординала $\Gamma_0$. Доказательства трансфинитной индукции вплоть до $\varepsilon_0$ в $\mathsf{PA}$.
Ф. Н. Пахомов
3 декабря 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 9. Иерархия Веблена.
Л. Д. Беклемишев
26 ноября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 8. Ординалы. Канторовская система ординальных обозначений для ординала $\varepsilon_0$.
Л. Д. Беклемишев
19 ноября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 2).
Ф. Н. Пахомов, Л. Д. Беклемишев
12 ноября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 1).
Ф. Н. Пахомов
29 октября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 5. Теорема об устранении сечения для исчисления Тейта.
Ф. Н. Пахомов
22 октября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него.
Л. Д. Беклемишев, Ф. Н. Пахомов
15 октября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 3. Доказуемо вычислимые функции теории $\mathsf{EA}$.
Л. Д. Беклемишев
8 октября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 2. Арифметка элементарных функций $\mathsf{EA}$.
Л. Д. Беклемишев
1 октября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
-
Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару функции.
Л. Д. Беклемишев
24 сентября 2018 г. 16:30
г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
© , 2025
|
