RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Pakhomov, Fedor Nikolaevich

Total publications: 15 (15)
in MathSciNet: 3 (3)
in zbMATH: 2 (2)
in Web of Science: 8 (8)
in Scopus: 8 (8)
Cited articles: 3
Citations in Math-Net.Ru: 7
Citations in MathSciNet: 11
Citations in Web of Science: 12
Citations in Scopus: 8
Presentations: 63

Number of views:
This page:1514
Abstract pages:891
Full texts:108
References:87
Candidate of physico-mathematical sciences
Birth date: 15.07.1990
E-mail:
Keywords: mathematical logic, proof theory, modal logic, decision problems.

Subject:

Proof theory, modal logic, decision problems.


http://www.mathnet.ru/eng/person64334
http://scholar.google.com/citations?user=Srnnd-oAAAAJ&hl=en
http://zbmath.org/authors/?q=ai:pakhomov.f-n
https://mathscinet.ams.org/mathscinet/MRAuthorID/1003226
http://www.researcherid.com/rid/Q-5602-2016
http://www.scopus.com/authid/detail.url?authorId=55457524000

Full list of publications:
| by years | by types | by times cited in WoS | by times cited in Scopus | scientific publications | common list |



   2019
1. 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  isi
2. Fedor Pakhomov, Albert Visser, “On a question of Krajewski's”, J. Symb. Log., 84:1 (2019), 343–358 , arXiv: 1712.01713  mathnet  crossref  isi  scopus
3. Ali Enayat, Fedor Pakhomov, “Truth, disjunction, and induction”, Arch. Math. Logic, 58 (2019), 753–766 , arXiv: 1805.09890  mathnet  crossref  isi  scopus
4. Lev D. Beklemishev, Fedor N. Pakhomov, Reflection algebras and conservation results for theories of iterated truth, 2019 , 48 pp., arXiv: 1908.10302

   2018
5. 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  scopus
6. Fedor Pakhomov, James Walsh, Reflection Ranks and Ordinal Analysis, 2018 , 32 pp., submitted to the journal “Review of Symbolic Logic”, arXiv: 1805.02095

   2017
7. 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  isi  scopus
8. Anton Freund, Fedor Pakhomov, Short Proofs for Slow Consistency., 2017 , 18 pp., accepted to “Notre Dame Journal of Formal Logic”, arXiv: 1712.03251

   2016
9. F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199  mathnet  crossref  crossref  mathscinet  adsnasa  isi  elib  scopus

   2015
10. F. N. Pakhomov, “On Elementary Theories of Ordinal Notation Systems Based on Reflection Principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212  mathnet  crossref  crossref  isi (cited: 4)  elib (cited: 1)  elib (cited: 1)  scopus (cited: 5)
11. Fedor Pakhomov, Ordinal notations in Caucal hierarchy, 2015 , 15 pp., arXiv: 1512.05036

   2014
12. 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 (cited: 4)  scopus (cited: 1)
13. 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
14. 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
15. F. N. Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203:8 (2012), 1211–1229  mathnet  crossref  crossref  mathscinet  zmath  isi (cited: 4)  elib (cited: 2)  elib (cited: 2)  scopus (cited: 2)

Presentations in Math-Net.Ru
1. Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 28, 2019 18:30   
2. Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 21, 2019 18:30   
3. Аксиома детерминированности, занятие 4
F. N. Pakhomov

July 25, 2019 15:30   
4. Аксиома детерминированности, занятие 3
F. N. Pakhomov

July 23, 2019 09:30   
5. Аксиома детерминированности, занятие 2
F. N. Pakhomov

July 21, 2019 11:15   
6. Аксиома детерминированности, занятие 1
F. N. Pakhomov

July 19, 2019 11:15   
7. Лекция 26. Ординальный анализ теории $\mathsf{ATR}_0$.
F. N. Pakhomov

May 20, 2019 16:30   
8. Лекция 25. Ординальный анализ теории $\mathsf{ACA}$.
F. N. Pakhomov

May 13, 2019 16:30   
9. Лекция 24. Некоторые факты о системе $\mathsf{ATR}_0$. Доказательство фундированности в $\mathsf{ATR}_0$ для ординалов $<\Gamma_0$.
F. N. Pakhomov

April 29, 2019 16:30   
10. Лекция 23. $\mathsf{HYP}$, как наименьшая $\omega$-модель теории $\Sigma^1_1\textrm{-}\mathsf{AC}_0$. Теория $\mathsf{ATR}_0$ и детерминированность открытых игр.
F. N. Pakhomov

April 22, 2019 16:30   
11. Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
April 15, 2019 18:30   
12. Лекция 22.
F. N. Pakhomov

April 15, 2019 16:30   
13. Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
April 8, 2019 18:30   
14. О границах применимости второй теоремы Гёделя о неполноте
F. N. Pakhomov
Meetings of the Moscow Mathematical Society
April 2, 2019 18:30
15. Лекция 20. $\alpha$-большие множества и фундированность. Нормальные формы $\Pi^1_1$-формул.
F. N. Pakhomov

April 1, 2019 16:30   
16. Лекция 19. $\Pi_2$-консервативность $\mathsf{WKL}_0$ над $\mathsf{PRA}$.
F. N. Pakhomov

March 25, 2019 18:40   
17. Лекция 18. Стандартные системы, множества Скотта и $\alpha$-большие множества.
F. N. Pakhomov

March 18, 2019 16:30   
18. Лекция 17. Системы арифметики второго порядка $\mathsf{ACA}_0$, $\mathsf{RCA}_0$ и $\mathsf{WKL}_0$.
F. N. Pakhomov

March 11, 2019 16:45   
19. О коротких доказательствах медленной непротиворечивости
F. N. Pakhomov
Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 24, 2018 15:25   
20. Лекция 12 Лемма об ограниченности для $\omega$-выводов и свойства $\Pi^1_1$-ординалов теорий
F. N. Pakhomov

December 17, 2018 16:30   
21. Лекция 11. $\omega$-выводы.
F. N. Pakhomov

December 10, 2018 16:30   
22. Лекция 10. Система обозначений для ординала $\Gamma_0$. Доказательства трансфинитной индукции вплоть до $\varepsilon_0$ в $\mathsf{PA}$.
F. N. Pakhomov

December 3, 2018 16:30   
23. О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
November 26, 2018 18:30   
24. О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
November 12, 2018 18:30   
25. Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 2).
F. N. Pakhomov, L. D. Beklemishev

November 12, 2018 16:30   
26. Лекция 6. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях $\mathsf{I}\Sigma_1$ (Часть 1).
F. N. Pakhomov

October 29, 2018 16:30   
27. Лекция 5. Теорема об устранении сечения для исчисления Тейта.
F. N. Pakhomov

October 22, 2018 16:30   
28. Лекция 4. Исчисление секвенций в формате Тейта и теорема о полноте для него.
L. D. Beklemishev, F. N. Pakhomov

October 15, 2018 16:30   
29. Об аксиоме ограниченности в слабых теориях множеств
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
March 26, 2018 18:30
30. Теоремы об ускорении доказательств в арифметике Пресбургера
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
February 27, 2018 18:30
31. О некоторых результатах о принципах рефлексии в арифметике
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
December 18, 2017 18:30
32. Solovay’s completeness without fixed points
F. Pakhomov
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 12:50   
33. Об индукции в теориях итерированных определений истины
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 9, 2017 18:30
34. Об интерпретациях арифметики Пресбургера в самой себе
A. Zapryagaev, F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 3, 2017 18:30
35. Об индукции в теориях итерированных определений истины
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 2, 2017 18:35
36. Цепи из утверждений о медленной непротиворечивости
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
April 3, 2017 18:30
37. О неразрешимых элементарных теориях полугрупп со свободным одноместным предикатом
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
February 28, 2017 18:30
38. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
December 19, 2016 18:30
39. Linear $GLP$-algebras and their elementary theories
F. N. Pakhomov
Scientific session of the Steklov Mathematical Institute of RAS dedicated to the results of 2016
November 16, 2016 14:15   
40. Новое доказательство теоремы Соловея об арифметической полноте логики GL
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 15, 2016 18:30
41. Семантика квазидоказуемости для полных по Крипке расширений логики GL
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 8, 2016 18:30
42. О новом доказательстве теоремы Соловея
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
September 26, 2016 18:30
43. Predicative subsystem of second-order arithmetic. Lecture 10
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
April 29, 2016 17:30   
44. Predicative subsystem of second-order arithmetic. Lecture 9
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
April 22, 2016 17:30   
45. Системы ординальных обозначений в иерархии Кукаля
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 19, 2016 18:30
46. Predicative subsystem of second-order arithmetic. Lecture 8
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
April 15, 2016 17:30   
47. Predicative subsystem of second-order arithmetic. Lecture 7
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
April 1, 2016 18:00   
48. Predicative subsystem of second-order arithmetic. Lecture 6
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
March 25, 2016 17:30   
49. Predicative subsystem of second-order arithmetic. Lecture 5
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
March 18, 2016 17:30   
50. Predicative subsystem of second-order arithmetic. Lecture 4
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
March 11, 2016 17:30   
51. Predicative subsystem of second-order arithmetic. Lecture 3
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
March 4, 2016 17:30   
52. Predicative subsystem of second-order arithmetic. Lecture 2
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
February 26, 2016 17:30   
53. Predicative subsystem of second-order arithmetic. Lecture 1
F. N. Pakhomov
F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
February 19, 2016 17:30   
54. Биинтерпретируемость для расширений ZF
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
February 15, 2016 18:30
55. О некоторых нестандартных предикатах доказуемости для формальной арифметики Пеано
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 27, 2015 18:30
56. Итерации медленной непротиворечивости. Часть 2
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 26, 2015 18:30
57. Итерации медленной непротиворечивости. Часть 1
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Proof Theory"
October 19, 2015 18:30
58. Lambda calculus, or computational proof theory. Lecture 9
F. N. Pakhomov
Special course "Lambda calculus, or computational proof theory", 2015
April 15, 2015 18:00   
59. Decidability of the elementary theory of the free GLP-algebra generated by constants
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 3, 2015 18:30
60. On the decidability of elementary theories of some ordinal notation systems based on the logic GLP
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
February 24, 2015 18:30
61. On the computational complexity of the closed fragment of the provability logic GLP
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 9, 2013 18:30
62. On the decidability of elementary theories of provability algebras and their fragments
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 23, 2012 18:30
63. On a class of decidable monadic theories of graphs
F. N. Pakhomov
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
March 20, 2012 18:30

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019