Fedor Pakhomov

17 papers C 1Misc 1Journal 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Feferman's Completeness Theorem. Bull. Symb. Log. Fedor Pakhomov, Michael Rathjen, Dino Rossegger
2024	J	`jnl`	Generalized fusible numbers and their ordinals. Ann. Pure Appl. Log. Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov
2024	J	`jnl`	There are no minimal essentially undecidable theories. J. Log. Comput. Juvenal Murwanashyaka, Fedor Pakhomov, Albert Visser
2023	J	`jnl`	Corrigendum to Reducing ω-model reflection to iterated syntactic reflection. J. Math. Log. Fedor Pakhomov, James Walsh
2023	J	`jnl`	Reducing ω-model reflection to iterated syntactic reflection. J. Math. Log. Fedor Pakhomov, James Walsh
2022	J	`jnl`	Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. David Fernández-Duque, Joost J. Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weiermann
2022	J	`jnl`	Generalized fusible numbers and their ordinals. CoRR Alexander I. Bufetov, Gabriel Nivasch, Fedor Pakhomov
2022	J	`jnl`	Reflection algebras and conservation results for theories of iterated truth. Ann. Pure Appl. Log. Lev D. Beklemishev, Fedor Pakhomov
2021	J	`jnl`	Reflection ranks and Ordinal Analysis. J. Symb. Log. Fedor Pakhomov, James Walsh
2020	J	`jnl`	Multi-dimensional Interpretations of Presburger Arithmetic in Itself. J. Log. Comput. Fedor Pakhomov, Alexander Zapryagaev
2020	J	`jnl`	Short Proofs for Slow Consistency. Notre Dame J. Formal Log. Anton Freund, Fedor Pakhomov
2019	J	`jnl`	Complexity of the interpretability logic IL. Log. J. IGPL Luka Mikec, Fedor Pakhomov, Mladen Vukovic
2019	J	`jnl`	On a Question of Krajewski's. J. Symb. Log. Fedor Pakhomov, Albert Visser
2019	J	`jnl`	Truth, disjunction, and induction. Arch. Math. Log. Ali Enayat, Fedor Pakhomov
2018	Misc	`conf`	Interpretations of Presburger Arithmetic in Itself. LFCS Alexander Zapryagaev, Fedor Pakhomov
2017	C	`conf`	Solovay's Completeness Without Fixed Points. WoLLIC Fedor Pakhomov
2014	J	`jnl`	On the complexity of the closed fragment of Japaridze's provability logic. Arch. Math. Log. Fedor Pakhomov