Takip et
Fedor Pakhomov
Fedor Pakhomov
Professor of Mathematics, University of Ghent
ugent.be üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Reflection algebras and conservation results for theories of iterated truth
LD Beklemishev, FN Pakhomov
Annals of Pure and Applied Logic 173 (5), 103093, 2022
222022
Truth, disjunction, and induction
A Enayat, F Pakhomov
Archive for Mathematical Logic 58 (5), 753-766, 2019
212019
Reflection ranks and ordinal analysis
F Pakhomov, J Walsh
The Journal of Symbolic Logic 86 (4), 1350-1384, 2021
202021
On the complexity of the closed fragment of Japaridze’s provability logic
F Pakhomov
Archive for Mathematical Logic 53 (7), 949-967, 2014
202014
Slow and Ordinary Provability for Peano Arithmetic
P Henk, F Pakhomov
arXiv preprint arXiv:1602.01822, 2016
132016
A weak set theory that proves its own consistency
F Pakhomov
arXiv preprint arXiv:1907.00877, 2019
112019
Reducing -model reflection to iterated syntactic reflection
F Pakhomov, J Walsh
arXiv preprint arXiv:2103.12147, 2021
92021
Complexity of the interpretability logic IL
L Mikec, F Pakhomov, M Vuković
Logic Journal of the IGPL 27 (1), 1-7, 2019
92019
Multi-dimensional interpretations of Presburger arithmetic in itself
F Pakhomov, A Zapryagaev
Journal of Logic and Computation 30 (8), 1681-1693, 2020
82020
On a question of Krajewski’s
F Pakhomov, A Visser
The Journal of Symbolic Logic 84 (1), 343-358, 2019
82019
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
82015
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
62021
Interpretations of Presburger arithmetic in itself
A Zapryagaev, F Pakhomov
International Symposium on Logical Foundations of Computer Science, 354-367, 2018
62018
Short proofs for slow consistency
A Freund, F Pakhomov
Notre Dame Journal of Formal Logic 61 (1), 31-49, 2020
52020
Undecidability of the elementary theory of the semilattice of GLP-words
FN Pakhomov
Sbornik: Mathematics 203 (8), 1211, 2012
52012
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
32017
The spectrum of -soundness
JP Aguilera, F Pakhomov
Philosophical Transactions of the Royal Society A 381 (2248), 20220013, 2023
22023
Functorial Fast-Growing Hierarchies
JP Aguilera, F Pakhomov, A Weiermann
arXiv preprint arXiv:2201.04536, 2022
22022
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20