Fedor Pakhomov's Home Page.
Affilations.
Ghent University. Steklov Mathematical Institute of Russian Academy of Sciences, Moscow.Research Papers.
- Juan Pablo Aguilera, Fedor Pakhomov, and Andreas Weiermann. Functorial Fast Growing Hierarchy.
- Juan Pablo Aguilera and Fedor Pakhomov. The Π¹₂ Consequences of a Theory. Preprint, arXiv:2109.11652, 2021 (PDF)
- Fedor Pakhomov and Albert Visser. Finitely axiomatized theories lack self-comprehension. Preprint, arXiv:2109.02548, 2021 (PDF)
- Fedor Pakhomov and James Walsh. Reflection ranks via infinitary derivations. Preprint, arXiv:2107.03521, 2021 (PDF)
- Fedor Pakhomov and James Walsh. Reducing ω-model reflection to iterated syntactic reflection. Accepted to Journal of Mathematical Logic , 2021 (PDF(preprint))
- Fedor Pakhomov and Alexandr Zapryagaev. Multi-Dimensional Interpretations of Presburger Arithmetic in Itself. Journal of Logic and Computation, 30(8):1681-1693, 2020. PDF (preprint).
- Fedor Pakhomov and James Walsh. Reflection Ranks and Ordinal Analysis. The Journal of Symbolic Logic, 1-34, 2020 (published on-line). PDF (preprint).
- Anton Freund and Fedor Pakhomov. Short Proofs for Slow Consistency. Notre Dame Journal of Formal Logic, 61(1):31-49, 2020. PDF (preprint).
- Lev Beklemishev and Fedor Pakhomov. Reflection algebras and conservation results for theories of iterated truth. Preprint, arXiv:1908.10302, 2019. PDF.
- Fedor Pakhomov. A weak set theory that proves its own consistency. Preprint, arXiv:1907.00877, 2019. PDF.
- Ali Enayat and Fedor Pakhomov. Truth, Disjunction, and Induction. Archive for Mathematical Logic, 58(5-6):753-766, 2019. PDF.
- Fedor Pakhomov and Albert Visser. On a question of Krajewski's. Journal of Symbolic Logic, 84(1):343-358, 2019. PDF (preprint).
- Luka Mikec, Fedor Pakhomov, and Mladen Vuković. Complexity of the Interpretability Logic IL. Logic Journal of the IGPL, 27(1):1-7, 2019. PDF (preprint).
- Fedor Pakhomov and Alexander Zapryagaev. Interpretations of Presburger Arithmetic in Itself. In International Symposium on Logical Foundations of Computer Science (pp. 354-367). Springer. 2018. PDF (preprint)
- Fedor Pakhomov. Solovay’s Completeness Without Fixed Points. In International Workshop on Logic, Language, Information, and Computation (pp. 281-294). Springer, Berlin, Heidelberg. 2017. PDF (preprint).
- Fedor Pakhomov. Linear GLP-algebras and their elementary theories Izv. RAN. Ser. Mat., 80(6):173-216, 2016. PDF in Russian.
- P. Henk and Fedor Pakhomov. Slow and ordinary provability for Peano arithmetic. Preprint. arXiv:1602.1822, 2016. PDF.
- Fedor Pakhomov. Ordinal Notations in Caucal Hierarchy. Preprint, arXiv:1512.05036, 2015. PDF.
- Fedor Pakhomov. On elementary theories of ordinal notation systems based on reflection principles. Proceedings of the Steklov Institute of Mathematics, 289(1):194-212, 2015. PDF (preprint),PDF in Russian.
- Fedor Pakhomov. On the complexity of the closed fragment of Japaridze’s provability logic. Archive for Mathematical Logic, 53(7-8):949-967, 2014. PDF (preprint).
- Fedor Pakhomov. Undecidability of the elementary theory of the semilattice of GLP-words. Sb. Math., 203(8):1211-1229, 2012. PDF in Russian.
e-mail: pakhfn 'at' gmail.com
Last time edited: November 8th, 2021