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

Персоналии

RUS ENG

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

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

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

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

Статистика просмотров:
Эта страница:	2909
Страницы публикаций:	2456
Полные тексты:	382
Списки литературы:	183

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

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

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

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. ;	1 ^[x]

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 ;	2 ^[x]
3.	Fedor Pakhomov, James Walsh, “Reducing $\omega$-model reflection to iterated syntactic reflection”, J. Math. Log., 23:2 (2023), 2250001 , 38 pp. ;	1 ^[x]
4.	Anton Freund, Alberto Marcone, Fedor Pakhomov, Giovanni Soldà, Provable better quasi orders, 2023 , 3 pp., arXiv: 2305.01066
5.	Anton Freund, Fedor Pakhomov, Giovanni Soldà, 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) ; (Published online)	2 ^[x]
7.	J. P. Aguilera, F. Pakhomov, A. Weiermann, “Modern perspectives in Proof Theory”, Philos. Trans. R. Soc. A, 381 (2023), 20220020 , 11 pp. ;
8.	J. P. Aguilera, F. Pakhomov, “The spectrum of $\Pi^1_3$-soundness”, Philos. Trans. R. Soc. A, 381 (2023), 20220013 , 18 pp. ;	1 ^[x]

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

2021
12.	Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384 , arXiv: 1805.02095 ;	5 ^[x]
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 ;	2 ^[x]
15.	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]

2019
16.	Luka Mikec, Fedor Pakhomov, Mladen Vuković, “Complexity of the interpretability logic IL”, Log. J. IGPL, 27:1 (2019), 1–7 , arXiv: 1710.05599
17.	Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358 , arXiv: 1712.01713	3 ^[x]
18.	Ali Enayat, Fedor Pakhomov, “Truth, disjunction, and induction”, Arch. Math. Logic, 58 (2019), 753–766 , arXiv: 1805.09890	13 ^[x]
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	2 ^[x]

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	2 ^[x]

2016
23.	Ф. Н. Пахомов, “Линейные $\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	1 ^[x]

2015
24.	Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 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]
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	8 ^[x]
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 Gö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 ; F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229	4 ^[x]

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

Организации

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы