I agree that this site is using cookies. You can find further informations here.
X
Pakhomov, Fedor
47  results:
Search for persons X
?
1

Generalized fusible numbers and their ordinals:

Bufetov, Alexander I. ; Nivasch, Gabriel ; Pakhomov, Fedor
Annals of Pure and Applied Logic.  175 (2024)  1 - p. 103355 , 2024
Link: https://doi.org/10.1016/..
 
?
2

There are no minimal essentially undecidable theories:

Murwanashyaka, Juvenal ; Pakhomov, Fedor ; Visser, Albert
Journal of Logic and Computation.  , 2023
Link: https://doi.org/10.1093/..
 
?
3

Arithmetical and Hyperarithmetical Worm Battles:

FernÁndez-Duque, David ; Joosten, Joost J ; Pakhomov, Fedor..
Journal of Logic and Computation.  32 (2022)  8 - p. 1558-1584 , 2022
Link: https://doi.org/10.1093/..
 
?
4

Finitely axiomatized theories lack self‐comprehension:

Pakhomov, Fedor ; Visser, Albert
Bulletin of the London Mathematical Society.  54 (2022)  6 - p. 2513-2531 , 2022
Link: https://doi.org/10.1112/..
 
?
5

REFLECTION RANKS AND ORDINAL ANALYSIS:

PAKHOMOV, FEDOR ; WALSH, JAMES
The Journal of Symbolic Logic.  86 (2020)  4 - p. 1350-1384 , 2020
Link: https://doi.org/10.1017/..
 
?
6

Multi-dimensional Interpretations of Presburger Arithmetic ..:

Pakhomov, Fedor ; Zapryagaev, Alexander
Journal of Logic and Computation.  30 (2020)  8 - p. 1681-1693 , 2020
Link: https://doi.org/10.1093/..
 
?
7

ON A QUESTION OF KRAJEWSKI'S:

PAKHOMOV, FEDOR ; VISSER, ALBERT
The Journal of Symbolic Logic.  84 (2019)  1 - p. 343-358 , 2019
Link: https://www.jstor.org/st..
 
?
8

Truth, disjunction, and induction:

Enayat, Ali ; Pakhomov, Fedor
Archive for Mathematical Logic.  58 (2019)  5-6 - p. 753-766 , 2019
Link: https://doi.org/10.1007/..
 
?
9

ON A QUESTION OF KRAJEWSKI'S:

PAKHOMOV, FEDOR ; VISSER, ALBERT
The Journal of Symbolic Logic.  84 (2019)  1 - p. 343-358 , 2019
Link: https://doi.org/10.1017/..
 
?
10

Complexity of the interpretability logic IL:

Mikec, Luka ; Pakhomov, Fedor ; Vuković, Mladen
Logic Journal of the IGPL.  , 2018
Link: https://doi.org/10.1093/..
 
?
11

On the complexity of the closed fragment of Japaridze's pro..:

Pakhomov, Fedor
Archive for Mathematical Logic.  53 (2014)  7-8 - p. 949-967 , 2014
Link: https://doi.org/10.1007/..
 
?
12

Reflection algebras and conservation results for theories o..:

Beklemishev, Lev D. ; Pakhomov, Fedor N.
Annals of Pure and Applied Logic.  173 (2022)  5 - p. 103093 , 2022
Link: https://doi.org/10.1016/..
 
?
13

On the coprimeness relation from the viewpoint of monadic s..:

Speranski, Stanislav Olegovich ; Pakhomov, Fedor Nikolaevich
Izvestiya: Mathematics.  86 (2022)  6 - p. 1225-1239 , 2022
Link: https://doi.org/10.4213/..
 
?
14

Undecidability of the elementary theory of the semilattice ..:

Pakhomov, Fedor N
Sbornik: Mathematics.  203 (2012)  8 - p. 1211-1229 , 2012
Link: https://doi.org/10.1070/..
 
?
15

Provable better quasi orders:

Freund, Anton ; Marcone, Alberto ; Pakhomov, Fedor.
http://arxiv.org/abs/2305.01066.  , 2023
Link: http://arxiv.org/abs/230..
 
1-15