Fedor Pakhomov

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 14

Top Topics

Maintaining Consistency

Quantifier Elimination

Top Venues

J. Log. Comput.

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov
Generalized fusible numbers and their ordinals. Ann. Pure Appl. Log. 175 (Issue 1, Part A) (2024)
Fedor Pakhomov, James Walsh
Reducing ω-model reflection to iterated syntactic reflection. J. Math. Log. 23 (2) (2023)
Fedor Pakhomov, James Walsh
Corrigendum to Reducing ω-model reflection to iterated syntactic reflection. J. Math. Log. 23 (3) (2023)
Lev D. Beklemishev, Fedor Pakhomov
Reflection algebras and conservation results for theories of iterated truth. Ann. Pure Appl. Log. 173 (5) (2022)
Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov
Generalized fusible numbers and their ordinals. CoRR (2022)
David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann
Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. 32 (8) (2022)
Fedor Pakhomov, James Walsh
Reflection ranks and Ordinal Analysis. J. Symb. Log. 86 (4) (2021)
Anton Freund, Fedor Pakhomov
Short Proofs for Slow Consistency. Notre Dame J. Formal Log. 61 (1) (2020)
Fedor Pakhomov, Alexander Zapryagaev
Multi-dimensional Interpretations of Presburger Arithmetic in Itself. J. Log. Comput. 30 (8) (2020)
Ali Enayat, Fedor Pakhomov
Truth, disjunction, and induction. Arch. Math. Log. 58 (5-6) (2019)
Luka Mikec, Fedor Pakhomov, Mladen Vukovic
Complexity of the interpretability logic IL. Log. J. IGPL 27 (1) (2019)
Fedor Pakhomov, Albert Visser
On a Question of Krajewski's. J. Symb. Log. 84 (1) (2019)
Alexander Zapryagaev, Fedor Pakhomov
Interpretations of Presburger Arithmetic in Itself. LFCS (2018)
Fedor Pakhomov
Solovay's Completeness Without Fixed Points. WoLLIC (2017)
Fedor Pakhomov
On the complexity of the closed fragment of Japaridze's provability logic. Arch. Math. Log. 53 (7-8) (2014)