Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Fedor Pakhomov
Profile
Projects
Publications
Activities
Awards & Distinctions
23
Results
2023
Modern perspectives in Proof Theory
Juan Aguilera
Fedor Pakhomov
Andreas Weiermann
Editorial material
2023
Provable better quasi orders
Anton Freund
Alberto Marcone
Fedor Pakhomov
Giovanni Solda
Preprint
2023
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)
Fedor Pakhomov
James Walsh
Correction
2023
Reducing ω-model reflection to iterated syntactic reflection
Fedor Pakhomov
James Walsh
A1
Journal Article
in
JOURNAL OF MATHEMATICAL LOGIC
2023
The Pi ^1_2 consequences of a theory
Juan Aguilera
Fedor Pakhomov
A1
Journal Article
in
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
2023
The logical strength of minimal bad arrays
Anton Freund
Fedor Pakhomov
Giovanni Solda
Preprint
2023
The spectrum of Π¹₃-soundness
Juan Aguilera
Fedor Pakhomov
U
Journal Article
in
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
2023
There are no minimal essentially undecidable theories
Juvenal Murwanashyaka
Fedor Pakhomov
Albert Visser
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2023
2022
Arithmetical and hyperarithmetical worm battles
David Fernández-Duque
Joost J Joosten
Fedor Pakhomov
Konstantinos Papafilippou
Andreas Weiermann
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2022
Finitely axiomatized theories lack self‐comprehension
Fedor Pakhomov
Albert Visser
A1
Journal Article
in
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
2022
Linear orders in Presburger arithmetic
Fedor Pakhomov
Alexander Zapryagaev
Preprint
2022
2021
REFLECTION RANKS AND ORDINAL ANALYSIS
Fedor Pakhomov
James Walsh
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2021
2020
Multi-dimensional interpretations of Presburger arithmetic in itself
Fedor Pakhomov
Alexander Zapryagaev
A1
Journal Article
in
JOURNAL OF LOGIC AND COMPUTATION
2020
Short proofs for slow consistency
Anton Freund
Fedor Pakhomov
A1
Journal Article
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2020
2019
Complexity of the interpretability logic IL
Luka Mikec
Fedor Pakhomov
Mladen Vukovic
A1
Journal Article
in
LOGIC JOURNAL OF THE IGPL
2019
On a question of Krajewski's
Fedor Pakhomov
Albert Visser
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2019
Truth, disjunction, and induction
Ali Enayat
Fedor Pakhomov
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2019
2018
Interpretations of Presburger arithmetic in itself
Alexander Zapryagaev
Fedor Pakhomov
P1
Conference
2018
2017
Solovay's completeness without fixed points
Fedor Pakhomov
P1
Conference
2017
2016
Linear GLP-algebras and their elementary theories
Fedor Pakhomov
A1
Journal Article
in
IZVESTIYA MATHEMATICS
2016
2015
On elementary theories of ordinal notation systems based on reflection principles
Fedor Pakhomov
A1
Journal Article
in
PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS
2015
2014
On the complexity of the closed fragment of Japaridze's provability logic
Fedor Pakhomov
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2014
2012
Undecidability of the elementary theory of the semilattice of GLP-words
Fedor Pakhomov
A1
Journal Article
in
SBORNIK MATHEMATICS
2012