Пахомов Фёдор Николаевич

Доклады и лекции в базе данных Math-Net.Ru

1. Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$ (continuation)
   F. N. Pakhomov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   27 марта 2023 г. 18:30   
2. Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$
   F. N. Pakhomov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   20 марта 2023 г. 18:30   
3. Алгебры рефлексии для предикативных расширений арифметики Пеано
   Л. Д. Беклемишев, Ф. Н. Пахомов
   Научная сессия МИАН, посвященная подведению итогов 2022 года
   23 ноября 2022 г. 11:00   
4. How to escape Tennenbaum's Theorem?
   F. N. Pakhomov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   21 ноября 2022 г. 18:30   
5. Generalized Fusible Numbers
   F. N. Pakhomov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   12 апреля 2021 г. 18:30   
6. Ранги рефлексии и ординальный анализ
   Ф. Н. Пахомов
   Научная сессия МИАН, посвященная подведению итогов 2020 года
   25 ноября 2020 г. 11:15   
7. Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis
   F. N. Pakhomov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   19 октября 2020 г. 18:30   
8. О полноте трансфинитных итераций схем рефлексии
   Ф. Н. Пахомов
   Семинар лаборатории математической логики (Санкт-Петербург)
   12 мая 2020 г. 18:30   
9. Бар-индукция для классов в арифметике второго порядка
   Ф. Н. Пахомов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   28 октября 2019 г. 18:30   
10. Бар-индукция для классов в арифметике второго порядка
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    21 октября 2019 г. 18:30   
11. Аксиома детерминированности, занятие 4
    Ф. Н. Пахомов
    Летняя школа «Современная математика» имени Виталия Арнольда, 2019
    25 июля 2019 г. 15:30   
12. Аксиома детерминированности, занятие 3
    Ф. Н. Пахомов
    Летняя школа «Современная математика» имени Виталия Арнольда, 2019
    23 июля 2019 г. 09:30   
13. Аксиома детерминированности, занятие 2
    Ф. Н. Пахомов
    Летняя школа «Современная математика» имени Виталия Арнольда, 2019
    21 июля 2019 г. 11:15   
14. Аксиома детерминированности, занятие 1
    Ф. Н. Пахомов
    Летняя школа «Современная математика» имени Виталия Арнольда, 2019
    19 июля 2019 г. 11:15   
15. Лекция 26. Ординальный анализ теории $\mathsf{ATR}_0$.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    20 мая 2019 г. 16:30   
16. Лекция 25. Ординальный анализ теории $\mathsf{ACA}$.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    13 мая 2019 г. 16:30   
17. Лекция 24. Некоторые факты о системе $\mathsf{ATR}_0$. Доказательство фундированности в $\mathsf{ATR}_0$ для ординалов $<\Gamma_0$.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    29 апреля 2019 г. 16:30   
18. Лекция 23. $\mathsf{HYP}$, как наименьшая $\omega$-модель теории $\Sigma^1_1\textrm{-}\mathsf{AC}_0$. Теория $\mathsf{ATR}_0$ и детерминированность открытых игр.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    22 апреля 2019 г. 16:30   
19. Итерации $\Pi^1_1$-рефлексии
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    15 апреля 2019 г. 18:30   
20. Лекция 22.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    15 апреля 2019 г. 16:30   
21. Итерации $\Pi^1_1$-рефлексии
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    8 апреля 2019 г. 18:30   
22. О границах применимости второй теоремы Гёделя о неполноте
    Ф. Н. Пахомов
    Заседания Московского математического общества
    2 апреля 2019 г. 18:30
23. Лекция 20. $\alpha$-большие множества и фундированность. Нормальные формы $\Pi^1_1$-формул.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    1 апреля 2019 г. 16:30   
24. Лекция 19. $\Pi_2$-консервативность $\mathsf{WKL}_0$ над $\mathsf{PRA}$.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    25 марта 2019 г. 18:40   
25. Лекция 18. Стандартные системы, множества Скотта и $\alpha$-большие множества.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    18 марта 2019 г. 16:30   
26. Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}_0$.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    11 марта 2019 г. 16:45   
27. О коротких доказательствах медленной непротиворечивости
    Ф. Н. Пахомов
    Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
    24 декабря 2018 г. 15:25   
28. Лекция 12 Лемма об ограниченности для $\omega$-выводов и свойства $\Pi^1_1$-ординалов теорий
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    17 декабря 2018 г. 16:30   
29. Лекция 11. $\omega$-выводы.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    10 декабря 2018 г. 16:30   
30. Лекция 10. Система обозначений для ординала $\Gamma_0$. Доказательства трансфинитной индукции вплоть до $\varepsilon_0$ в $\mathsf{PA}$.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    3 декабря 2018 г. 16:30   
31. О новом методе ординального анализа теории множеств Крипке-Платека
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    26 ноября 2018 г. 18:30   
32. О новом методе ординального анализа теории множеств Крипке-Платека
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    12 ноября 2018 г. 18:30   
33. Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 2).
    Ф. Н. Пахомов, Л. Д. Беклемишев
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    12 ноября 2018 г. 16:30   
34. Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 1).
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    29 октября 2018 г. 16:30   
35. Лекция 5. Теорема об устранении сечения для исчисления Тейта.
    Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    22 октября 2018 г. 16:30   
36. Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него.
    Л. Д. Беклемишев, Ф. Н. Пахомов
    Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
    15 октября 2018 г. 16:30   
37. Об аксиоме ограниченности в слабых теориях множеств
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    26 марта 2018 г. 18:30
38. Теоремы об ускорении доказательств в арифметике Пресбургера
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    27 февраля 2018 г. 18:30
39. О некоторых результатах о принципах рефлексии в арифметике
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    18 декабря 2017 г. 18:30
40. Solovay’s completeness without fixed points
    F. Pakhomov
    Workshop on Proof Theory, Modal Logic and Reflection Principles
    20 октября 2017 г. 12:50   
41. Об индукции в теориях итерированных определений истины
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    9 октября 2017 г. 18:30
42. Об интерпретациях арифметики Пресбургера в самой себе
    А. А. Запрягаев, Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    3 октября 2017 г. 18:30
43. Об индукции в теориях итерированных определений истины
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    2 октября 2017 г. 18:35
44. Цепи из утверждений о медленной непротиворечивости
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    3 апреля 2017 г. 18:30
45. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    28 февраля 2017 г. 18:30
46. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    19 декабря 2016 г. 18:30
47. Линейные $GLP$-алгебры и их элементарные теории
    Ф. Н. Пахомов
    Научная сессия МИАН, посвященная подведению итогов 2016 года
    16 ноября 2016 г. 14:15   
48. Новое доказательство теоремы Соловея об арифметической полноте логики GL
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    15 ноября 2016 г. 18:30
49. Семантика квазидоказуемости для полных по Крипке расширений логики GL
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    8 ноября 2016 г. 18:30
50. О новом доказательстве теоремы Соловея
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    26 сентября 2016 г. 18:30
51. Предикативные подсистемы арифметики второго порядка. Лекция 10
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    29 апреля 2016 г. 17:30   
52. Предикативные подсистемы арифметики второго порядка. Лекция 9
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    22 апреля 2016 г. 17:30   
53. Системы ординальных обозначений в иерархии Кукаля
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    19 апреля 2016 г. 18:30
54. Предикативные подсистемы арифметики второго порядка. Лекция 8
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    15 апреля 2016 г. 17:30   
55. Предикативные подсистемы арифметики второго порядка. Лекция 7
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    1 апреля 2016 г. 18:00   
56. Предикативные подсистемы арифметики второго порядка. Лекция 6
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    25 марта 2016 г. 17:30   
57. Предикативные подсистемы арифметики второго порядка. Лекция 5
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    18 марта 2016 г. 17:30   
58. Предикативные подсистемы арифметики второго порядка. Лекция 4
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    11 марта 2016 г. 17:30   
59. Предикативные подсистемы арифметики второго порядка. Лекция 3
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    4 марта 2016 г. 17:30   
60. Предикативные подсистемы арифметики второго порядка. Лекция 2
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    26 февраля 2016 г. 17:30   
61. Предикативные подсистемы арифметики второго порядка. Лекция 1
    Ф. Н. Пахомов
    Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
    19 февраля 2016 г. 17:30   
62. Биинтерпретируемость для расширений ZF
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    15 февраля 2016 г. 18:30
63. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    27 октября 2015 г. 18:30
64. Итерации медленной непротиворечивости. Часть 2
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    26 октября 2015 г. 18:30
65. Итерации медленной непротиворечивости. Часть 1
    Ф. Н. Пахомов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    19 октября 2015 г. 18:30
66. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 9
    Ф. Н. Пахомов
    Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
    15 апреля 2015 г. 18:00   
67. О разрешимости элементарной теории свободной GLP-алгебры, порожденной константами
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    3 марта 2015 г. 18:30
68. О разрешимости элементарных теорий некоторых систем ординальных обозначений, построенных на основе логики GLP
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    24 февраля 2015 г. 18:30
69. Об алгоритмической сложности замкнутого фрагмента логики доказуемости GLP
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    9 апреля 2013 г. 18:30
70. О разрешимости элементарных теорий алгебр доказуемости и их фрагментов
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    23 октября 2012 г. 18:30
71. Об одном классе разрешимых монадических теорий графов
    Ф. Н. Пахомов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    20 марта 2012 г. 18:30