RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


Введение в теорию доказательств и ординальный анализ
24 сентября–24 декабря 2018 г., МИАН, ул. Губкина, д.8, ауд. 530, г. Москва

Программа курса

  • Программа Гильберта и основания математики
  • Арифметика первого порядка и её фрагменты
  • Исчисление секвенций и теорема об устранении сечения
  • Теорема Парсонса–Минца и доказуемо рекурсивные функции теории $I\Sigma 1$
  • Ординалы и системы ординальных обозначений, ординал $\epsilon_0$
  • Выводы с $\omega$-правилом и устранение сечения для них
  • Граница доказуемости трансфинитной индукции в $PA$
  • Иерархии субрекурсивных функций
  • Схемы рефлексии и прогрессии Тьюринга-Фефермана
  • Доказуемо рекурсивные функции в $PA$
  • Независимые от $PA$ комбинаторные утверждения
  • Системы арифметики второго порядка
  • Теорема Фридмана о $\Pi^0_2$ консервативности $WKL_0$ над $PRA$
  • Ординал $\Gamma_0$, система $ATR_0$ и граница предикативности
  • Теория множеств Крипке-Платека
  • Взаимосвязь между некоторыми слабыми теориями множеств и фрагментами арифметики второго порядка
  • Теории позитивных индуктивных определений, их связь с теориями множеств и фрагментами арифметики второго порядка
  • Ординал Бахмана-Говарда $\psi(\epsilon_{\Omega+1})$ и теория $KP_\omega$


RSS: Ближайшие семинары

Руководители семинара
Беклемишев Лев Дмитриевич
Пахомов Фёдор Николаевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


Введение в теорию доказательств и ординальный анализ, г. Москва, 24 сентября–24 декабря 2018 г.

19 ноября 2018 г. (пн)
1. Лекция 8. Иерархии субрекурсивных функций
Л. Д. Беклемишев
19 ноября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Л. Д. Беклемишев
  

12 ноября 2018 г. (пн)
2. Лекция 7. Граница доказуемости трансфинитной индукции в PA
Ф. Н. Пахомов, Л. Д. Беклемишев
12 ноября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Ф. Н. Пахомов, Л. Д. Беклемишев
  

29 октября 2018 г. (пн)
3. Лекция 6. Выводы с ω-правилом и устранение сечения для них.
Ф. Н. Пахомов
29 октября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Ф. Н. Пахомов
  

22 октября 2018 г. (пн)
4. Лекция 5. Ординалы и системы ординальных обозначений, ординал ϵ0.
Ф. Н. Пахомов
22 октября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Ф. Н. Пахомов
  

15 октября 2018 г. (пн)
5. Лекция 4. Теорема Парсонса–Минца и доказуемо рекурсивные функции теории IΣ1
Л. Д. Беклемишев, Ф. Н. Пахомов
15 октября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Л. Д. Беклемишев, Ф. Н. Пахомов
  

8 октября 2018 г. (пн)
6. Лекция 3. Исчисление секвенций и теорема об устранении сечения.
Л. Д. Беклемишев
8 октября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Л. Д. Беклемишев
  

1 октября 2018 г. (пн)
7. Лекция 2. Арифметика первого порядка и её фрагменты.
Л. Д. Беклемишев
1 октября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Л. Д. Беклемишев
  

24 сентября 2018 г. (пн)
8. Лекция 1. Программа Гильберта и основания математики.
Л. Д. Беклемишев
24 сентября 2018 г. 16:30, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530 		Л. Д. Беклемишев
  
 
Обратная связь:
  Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018