Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Пахомов Фёдор Николаевич

Публикаций: 29 (29)
в MathSciNet: 18 (18)
в zbMATH: 5 (5)
в Web of Science: 13 (13)
в Scopus: 14 (14)
Цитированных статей: 18
Цитирований: 68
Лекций и докладов: 71

Статистика просмотров:
Эта страница:2925
Страницы публикаций:2525
Полные тексты:392
Списки литературы:187
старший научный сотрудник
кандидат физико-математических наук
Дата рождения: 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/?q=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)

   2024
1. Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov, “Generalized fusible numbers and their ordinals”, Ann. Pure Appl. Logic, 175 (2024), 103355 , 25 pp.  mathnet  crossref; 1

   2023
2. 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  mathnet  crossref  mathscinet; 2
3. Fedor Pakhomov, James Walsh, “Reducing $\omega$-model reflection to iterated syntactic reflection”, J. Math. Log., 23:2 (2023), 2250001 , 38 pp.  mathnet  crossref  mathscinet  scopus; 1
4. Anton Freund, Alberto Marcone, Fedor Pakhomov, Giovanni Soldà, Provable better quasi orders, 2023 , 3 pp., arXiv: 2305.01066
5. Anton Freund, Fedor Pakhomov, Giovanni Soldà, The logical strength of minimal bad arrays, 2023 , 11 pp., arXiv: 2304.00278
6. Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser, “There are no minimal essentially undecidable theories”, J. Logic Comput., 2023, 1–13 (Published online)  mathnet  crossref; (Published online) 3
7. J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020 , 11 pp.  mathnet  crossref  mathscinet;
8. J. P. Aguilera, F. Pakhomov, “The spectrum of $\Pi^1_3$-soundness”, Philos. Trans. R. Soc. A, 381 (2023), 20220013 , 18 pp.  mathnet  crossref  mathscinet; 1

   2022
9. С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 86:6 (2022), 207–222  mathnet  crossref  mathscinet  adsnasa  isi; 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  crossref  mathscinet  isi  scopus
10. 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.  mathnet  crossref  mathscinet; 8
11. Fedor Pakhomov, Albert Visser, “Finitely axiomatized theories lack self-comprehension”, Bull. Lond. Math. Soc., 54:6 (2022), 2513–2531 , arXiv: 2109.02548  mathnet  crossref  mathscinet; 2

   2021
12. Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384 , arXiv: 1805.02095  mathnet  crossref  mathscinet  isi  scopus; 5
13. Fedor Pakhomov and James Walsh, Reflection ranks via infinitary derivations, 2021 , 11 pp., arXiv: 2107.03521

   2020
14. A. Freund, F. Pakhomov, “Short proofs for slow consistency”, Notre Dame J. Formal Logic, 61:1 (2020), 31–49 , arXiv: 1712.03251  mathnet  crossref  mathscinet  isi  scopus; 2
15. Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 30:8 (2020), 1681–1693 , arXiv: 2004.03404  mathnet  crossref  mathscinet  isi  scopus; 3

   2019
16. Luka Mikec, Fedor Pakhomov, Mladen Vuković, “Complexity of the interpretability logic IL”, Log. J. IGPL, 27:1 (2019), 1–7 , arXiv: 1710.05599  mathnet  crossref  mathscinet  isi  scopus
17. Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358 , arXiv: 1712.01713  mathnet  crossref  mathscinet  zmath  isi  scopus 3
18. Ali Enayat, Fedor Pakhomov, “Truth, disjunction, and induction”, Arch. Math. Logic, 58 (2019), 753–766 , arXiv: 1805.09890  mathnet  crossref  mathscinet  zmath  isi  scopus 15
19. Lev D. Beklemishev, Fedor N. Pakhomov, Reflection algebras and conservation results for theories of iterated truth, 2019 , 48 pp., arXiv: 1908.10302
20. F. Pakhomov, A weak set theory that proves its own consistency, 2019 , 25 pp., arXiv: 1907.00877

   2018
21. 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  mathnet  crossref  mathscinet  zmath  isi  scopus 2

   2017
22. 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  mathnet  crossref  mathscinet  isi  scopus 2

   2016
23. Ф. Н. Пахомов, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Изв. РАН. Сер. матем., 80:6 (2016), 173–216  mathnet  crossref  mathscinet  adsnasa  isi  elib; F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199  crossref  mathscinet  isi  elib  scopus 1

   2015
24. Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 206–226  mathnet  crossref  isi  elib; F. N. Pakhomov, “On Elementary Theories of Ordinal Notation Systems Based on Reflection Principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212  crossref  isi  elib  scopus 5
25. Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 с., arXiv: 1512.05036

   2014
26. Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967  mathnet  crossref  mathscinet  zmath  isi  scopus 8
27. F. Pakhomov, “Ordinal Notations and Fundamental Sequences in Caucal Hierarchy”, Logic Colloquium, Logic, Algebra and Truth Degrees. Abstract Booklet (Vienna, July 14–19), Kurt Gödel Society, 2014, 88
28. 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

   2012
29. Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160  mathnet  crossref  mathscinet  zmath  isi  elib; F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229  crossref  mathscinet  zmath  isi  elib  scopus 4

Доклады и лекции в базе данных 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

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024