Fedor Pakhomov

Identifiers

• name variant Fedor Pakhomov 0.60 · backfill

Papers (12)

1. Ranking theories via encoded $\beta$-models math.LO · 2025 · author #3
2. Linear Orders in Presburger Arithmetic math.LO · 2022 · author #1
3. Truth, Disjunction, and Induction math.LO · 2018 · author #2
4. On a question of Krajewski's math.LO · 2017 · author #1
5. Complexity of the interpretability logic IL math.LO · 2017 · author #2
6. Interpretations of Presburger Arithmetic in Itself math.LO · 2017 · author #2
7. Solovay's completeness without fixed points math.LO · 2017 · author #1
8. Slow and Ordinary Provability for Peano Arithmetic math.LO · 2016 · author #2
9. Ordinal Notations in Caucal Hierarchy math.LO · 2015 · author #1
10. On Elementary Theories of GLP-Algebras math.LO · 2014 · author #1
11. On Elementary Theories of Ordinal Notation Systems based on Reflection Principles math.LO · 2013 · author #1
12. On the complexity of the closed fragment of Japaridze's provability logic math.LO · 2013 · author #1

Mentions

• 2503.20470 #3 · arxiv_oai · confidence 0.70 Fedor Pakhomov
• 1412.4439 #1 · backfill · confidence 0.70 Fedor Pakhomov
• 1312.3002 #1 · backfill · confidence 0.70 Fedor Pakhomov
• 1305.6065 #1 · backfill · confidence 0.70 Fedor Pakhomov

Frequent Coauthors

• Alexander Zapryagaev 2 shared papers
• Albert Visser 1 shared papers
• Ali Enayat 1 shared papers
• Hanul Jeon 1 shared papers
• James Walsh 1 shared papers
• Luka Mikec 1 shared papers
• Mladen Vukovi\'c 1 shared papers
• Patrick Lutz 1 shared papers
• Paula Henk 1 shared papers