Reflection algebras and conservation results for theories of iterated truth LD Beklemishev, FN Pakhomov
Annals of Pure and Applied Logic 173 (5), 103093, 2022
22 2022 Truth, disjunction, and induction A Enayat, F Pakhomov
Archive for Mathematical Logic 58 (5), 753-766, 2019
21 2019 Reflection ranks and ordinal analysis F Pakhomov, J Walsh
The Journal of Symbolic Logic 86 (4), 1350-1384, 2021
20 2021 On the complexity of the closed fragment of Japaridze’s provability logic F Pakhomov
Archive for Mathematical Logic 53 (7), 949-967, 2014
20 2014 Slow and Ordinary Provability for Peano Arithmetic P Henk, F Pakhomov
arXiv preprint arXiv:1602.01822, 2016
13 2016 A weak set theory that proves its own consistency F Pakhomov
arXiv preprint arXiv:1907.00877, 2019
11 2019 Reducing -model reflection to iterated syntactic reflection F Pakhomov, J Walsh
arXiv preprint arXiv:2103.12147, 2021
9 2021 Complexity of the interpretability logic IL L Mikec, F Pakhomov, M Vuković
Logic Journal of the IGPL 27 (1), 1-7, 2019
9 2019 Multi-dimensional interpretations of Presburger arithmetic in itself F Pakhomov, A Zapryagaev
Journal of Logic and Computation 30 (8), 1681-1693, 2020
8 2020 On a question of Krajewski’s F Pakhomov, A Visser
The Journal of Symbolic Logic 84 (1), 343-358, 2019
8 2019 On elementary theories of ordinal notation systems based on reflection principles FN Pakhomov
Proceedings of the Steklov Institute of Mathematics 289 (1), 194-212, 2015
8 2015 There are no minimal essentially undecidable theories J Murwanashyaka, F Pakhomov, A Visser
Journal of Logic and Computation, 2023
7 * 2023 Finitely Axiomatized Theories Lack Self-Comprehension F Pakhomov, A Visser
arXiv preprint arXiv:2109.02548, 2021
6 2021 Interpretations of Presburger arithmetic in itself A Zapryagaev, F Pakhomov
International Symposium on Logical Foundations of Computer Science, 354-367, 2018
6 2018 Short proofs for slow consistency A Freund, F Pakhomov
Notre Dame Journal of Formal Logic 61 (1), 31-49, 2020
5 2020 Undecidability of the elementary theory of the semilattice of GLP-words FN Pakhomov
Sbornik: Mathematics 203 (8), 1211, 2012
5 2012 The Π¹₂ consequences of a theory JP Aguilera, F Pakhomov
Journal of the London Mathematical Society 107 (3), 1045-1073, 2023
4 * 2023 Solovay’s completeness without fixed points F Pakhomov
International Workshop on Logic, Language, Information, and Computation, 281-294, 2017
3 2017 The spectrum of -soundness JP Aguilera, F Pakhomov
Philosophical Transactions of the Royal Society A 381 (2248), 20220013, 2023
2 2023 Functorial Fast-Growing Hierarchies JP Aguilera, F Pakhomov, A Weiermann
arXiv preprint arXiv:2201.04536, 2022
2 2022