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

Персоналии

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

В базах данных
в MathSciNet:	21 (21)
в zbMATH:	7 (7)
в Web of Science:	13 (13)
в Scopus:	14 (14)

старший научный сотрудник

кандидат физико-математических наук

Дата рождения:

15.07.1990

E-mail:

Ключевые слова:

математическая логика, теория доказательств, модальная логика, проблемы разрешимости.

Основные темы научной работы

Теория доказательств, модальная логика, проблемы разрешимости.

https://www.mathnet.ru/rus/person64334

https://scholar.google.com/citations?user=Srnnd-oAAAAJ&hl=ru

https://zbmath.org/authors/ai:pakhomov.f-n

https://mathscinet.ams.org/mathscinet/MRAuthorID/1003226

https://www.webofscience.com/wos/author/record/Q-5602-2016

https://www.scopus.com/authid/detail.url?authorId=55457524000

Список публикаций:

по числу цит.

		Цитирования (Crossref Cited-By Service + Math-Net.Ru)

1.	Ali Enayat, Fedor Pakhomov, “Truth, disjunction, and induction”, Arch. Math. Logic, 58 (2019), 753–766 , arXiv: 1805.09890	16 ^[x]
2.	Lev D. Beklemishev, Fedor N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Ann. Pure Appl. Logic, 173:5 (2022), 103093 , 41 pp.	9 ^[x]
3.	Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967	9 ^[x]
4.	Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384 , arXiv: 1805.02095	7 ^[x]
5.	Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser, “There are no minimal essentially undecidable theories”, J. Logic Comput., 34:6 (2024), 1159–1171	5 ^[x]
6.	Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 206–226 ; F. N. Pakhomov, “On Elementary Theories of Ordinal Notation Systems Based on Reflection Principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212	5 ^[x]
7.	Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358 , arXiv: 1712.01713	4 ^[x]
8.	Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160 ; F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229	4 ^[x]
9.	Fedor Pakhomov, Albert Visser, “Finitely axiomatized theories lack self-comprehension”, Bull. Lond. Math. Soc., 54:6 (2022), 2513–2531 , arXiv: 2109.02548	3 ^[x]
10.	Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020), 1681–1693 , arXiv: 2004.03404	3 ^[x]
11.	Ф. Н. Пахомов, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Изв. РАН. Сер. матем., 80:6 (2016), 173–216 ; F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199	3 ^[x]
12.	J. P. Aguilera, F. Pakhomov, “The $\Pi^1_2$ consequences of a theory”, J. London Math. Soc., 107:3 (2023), 1045–1073 , arXiv: 2109.11652	2 ^[x]
13.	A. Freund, F. Pakhomov, “Short proofs for slow consistency”, Notre Dame J. Formal Logic, 61:1 (2020), 31–49 , arXiv: 1712.03251	2 ^[x]
14.	Alexander Zapryagaev, Fedor Pakhomov, “Interpretations of Presburger Arithmetic in Itself”, International Symposium on Logical Foundations of Computer Science (Deerfield Beach, FL, USA, January 8–11, 2018), Lecture Notes in Comput. Sci., 10703, Springer, 2018, 354–367 , arXiv: 1709.07341	2 ^[x]
15.	Fedor Pakhomov, “Solovay’s completeness without fixed points”, Logic, Language, Information, and Computation, 24th International Workshop, WoLLIC 2017 (London, UK, July 18-21, 2017), Lecture Notes in Comput. Sci., 10388, eds. Kennedy J., de Queiroz R., Springer, Berlin, 2017, 281–294 arxiv: 1703.10262	2 ^[x]
16.	Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov, “Generalized fusible numbers and their ordinals”, Ann. Pure Appl. Logic, 175 (2024), 103355 , 25 pp.	1 ^[x]
17.	J. P. Aguilera, F. Pakhomov, A. Weiermann, “Functorial fast-growing hierarchies”, Forum Math. Sigma, 12 (2024), 15 , 16 pp.	1 ^[x]
18.	Anton Freund, Fedor Pakhomov, Giovanni Soldà, “The logical strength of minimal bad arrays”, Proc. Amer. Math. Soc., 152 (2024), 4993–5005 , arXiv: 2304.00278	1 ^[x]
19.	Fedor Pakhomov, James Walsh, “Reducing $\omega$-model reflection to iterated syntactic reflection”, J. Math. Log., 23:2 (2023), 2250001 , 38 pp.	1 ^[x]
20.	J. P. Aguilera, F. Pakhomov, “The spectrum of $\Pi^1_3$-soundness”, Philos. Trans. R. Soc. A, 381 (2023), 20220013 , 18 pp.	1 ^[x]
21.	С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 86:6 (2022), 207–222 ; S. O. Speranski, F. N. Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86:6 (2022), 1225–1239	1 ^[x]
22.	Lev D. Beklemishev, Fedor N. Pakhomov, “Automatic structures and the problem of natural well-orderings”, Model Theory, Computer Science, and Graph Polynomials: Festschrift in honor of Johann A. Makowsky, Trends in Mathematics, eds. K. Meyer, A. Rabinovich, E. Ravve, A. Villaveces, Birkhäuser, 2025, 91–109 ; arXiv: 2407.10198
23.	Aguilera J. P., Pakhomov F., The Logic of Correct Models, 2024 , 20 pp., arXiv: 2402.15382
24.	Anton Freund, Alberto Marcone, Fedor Pakhomov, Giovanni Soldà, Provable better quasi orders, 2023 , 3 pp., arXiv: 2305.01066
25.	J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020 , 11 pp.
26.	Fedor Pakhomov and James Walsh, Reflection ranks via infinitary derivations, 2021 , 11 pp., arXiv: 2107.03521
27.	Luka Mikec, Fedor Pakhomov, Mladen Vuković, “Complexity of the interpretability logic IL”, Log. J. IGPL, 27:1 (2019), 1–7 , arXiv: 1710.05599
28.	Lev D. Beklemishev, Fedor N. Pakhomov, Reflection algebras and conservation results for theories of iterated truth, 2019 , 48 pp., arXiv: 1908.10302
29.	F. Pakhomov, A weak set theory that proves its own consistency, 2019 , 25 pp., arXiv: 1907.00877
30.	Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 с., arXiv: 1512.05036
31.	F. Pakhomov, “Ordinal Notations and Fundamental Sequences in Caucal Hierarchy”, Logic Colloquium, Logic, Algebra and Truth Degrees. Abstract Booklet (Vienna, July 14–19), Kurt Gödel Society, 2014, 88
32.	Fedor Pakhomov, “Complexity of Fragments of the Logic GLP”, Proof Theory, Modal Logic and Re ection Principles (Mexico City, September 29 – October 2, 2014), ITAM, 2014, 4

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

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

Организации