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

Публикаций: 8
Научных статей: 8
в MathSciNet: 3
в zbMATH: 2
в Web of Science: 4
в Scopus: 5
Цитированных статей: 3
Ссылок в Math-Net.Ru: 5
Ссылок в MathSciNet: 2
Ссылок в Web of Science: 6
Ссылок в Scopus: 6
Лекций и докладов: 31

Статистика просмотров:
Эта страница:752
Страницы публикаций:450
Полные тексты:29
Списки литературы:57
кандидат физико-математических наук
Дата рождения: 15.07.1990
E-mail:
Ключевые слова: математическая логика, теория доказательств, модальная логика, проблемы разрешимости.

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

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


http://www.mathnet.ru/rus/person64334
http://scholar.google.com/citations?user=Srnnd-oAAAAJ&hl=ru
http://zbmath.org/authors/?q=ai:pakhomov.f-n
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=1003226
http://www.researcherid.com/rid/Q-5602-2016
http://www.scopus.com/authid/detail.url?authorId=55457524000

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |



   2017
1. 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  mathnet  crossref  scopus

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

   2015
3. Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Тр. МИАН, 289, МАИК, М., 2015, 206–226  mathnet (цит.: 2)  crossref  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 (cited: 2)  elib (cited: 1)  scopus (cited: 3)
4. Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 с., arXiv: 1512.05036

   2014
5. 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 (cited: 1)
6. 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
7. 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
8. Ф. Н. Пахомов, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203:8 (2012), 141–160  mathnet (цит.: 3)  crossref  mathscinet (цит.: 2)  zmath  elib (цит.: 1); 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 (cited: 4)  elib (cited: 2)  scopus (cited: 2)

Доклады и лекции в базе данных Math-Net.Ru
1. Solovay’s completeness without fixed points
F. Pakhomov
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 12:50   
2. Об интерпретациях арифметики Пресбургера в самой себе
А. А. Запрягаев, Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
3 октября 2017 г. 18:30
3. Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
2 октября 2017 г. 18:35
4. Цепи из утверждений о медленной непротиворечивости
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
3 апреля 2017 г. 18:30
5. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
28 февраля 2017 г. 18:30
6. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
19 декабря 2016 г. 18:30
7. Линейные $GLP$-алгебры и их элементарные теории
Ф. Н. Пахомов
Научная сессия МИАН, посвященная подведению итогов 2016 года
16 ноября 2016 г. 14:15   
8. Новое доказательство теоремы Соловея об арифметической полноте логики GL
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
15 ноября 2016 г. 18:30
9. Семантика квазидоказуемости для полных по Крипке расширений логики GL
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
8 ноября 2016 г. 18:30
10. О новом доказательстве теоремы Соловея
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
26 сентября 2016 г. 18:30
11. Предикативные подсистемы арифметики второго порядка. Лекция 10
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
29 апреля 2016 г. 17:30   
12. Предикативные подсистемы арифметики второго порядка. Лекция 9
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
22 апреля 2016 г. 17:30   
13. Системы ординальных обозначений в иерархии Кукаля
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
19 апреля 2016 г. 18:30
14. Предикативные подсистемы арифметики второго порядка. Лекция 8
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
15 апреля 2016 г. 17:30   
15. Предикативные подсистемы арифметики второго порядка. Лекция 7
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
1 апреля 2016 г. 18:00   
16. Предикативные подсистемы арифметики второго порядка. Лекция 6
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
25 марта 2016 г. 17:30   
17. Предикативные подсистемы арифметики второго порядка. Лекция 5
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
18 марта 2016 г. 17:30   
18. Предикативные подсистемы арифметики второго порядка. Лекция 4
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
11 марта 2016 г. 17:30   
19. Предикативные подсистемы арифметики второго порядка. Лекция 3
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
4 марта 2016 г. 17:30   
20. Предикативные подсистемы арифметики второго порядка. Лекция 2
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
26 февраля 2016 г. 17:30   
21. Предикативные подсистемы арифметики второго порядка. Лекция 1
Ф. Н. Пахомов
Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
19 февраля 2016 г. 17:30   
22. Биинтерпретируемость для расширений ZF
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
15 февраля 2016 г. 18:30
23. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
27 октября 2015 г. 18:30
24. Итерации медленной непротиворечивости. Часть 2
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
26 октября 2015 г. 18:30
25. Итерации медленной непротиворечивости. Часть 1
Ф. Н. Пахомов
Семинар отдела математической логики «Теория доказательств»
19 октября 2015 г. 18:30
26. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 9
Ф. Н. Пахомов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
15 апреля 2015 г. 18:00   
27. О разрешимости элементарной теории свободной GLP-алгебры, порожденной константами
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
3 марта 2015 г. 18:30
28. О разрешимости элементарных теорий некоторых систем ординальных обозначений, построенных на основе логики GLP
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
24 февраля 2015 г. 18:30
29. Об алгоритмической сложности замкнутого фрагмента логики доказуемости GLP
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
9 апреля 2013 г. 18:30
30. О разрешимости элементарных теорий алгебр доказуемости и их фрагментов
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
23 октября 2012 г. 18:30
31. Об одном классе разрешимых монадических теорий графов
Ф. Н. Пахомов
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
20 марта 2012 г. 18:30

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