( en | de | ru )

 

Disambiguation of "Pakhomov, Fedor"

Author of the publication

copydeleteadd this publication to your clipboard
The logical strength of minimal bad arrays

, , and . Proceedings of the American Mathematical Society, (to appear)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lenka Fedorová

Jan Kaspar Fedorcak

Aleksandra Fedorova

Maria Fedorova

Mariana Fedorová

 

Other publications of authors with the same name

Reflection ranks and Ordinal Analysis., and . J. Symb. Log., 86 (4): 1350-1384 (2021)Reflection algebras and conservation results for theories of iterated truth., and . Ann. Pure Appl. Log., 173 (5): 103093 (2022)Interpretations of Presburger Arithmetic in Itself., and . LFCS, volume 10703 of Lecture Notes in Computer Science, page 354-367. Springer, (2018)Reducing ω-model reflection to iterated syntactic reflection., and . J. Math. Log., 23 (2): 2250001:1-2250001:40 (August 2023)On the complexity of the closed fragment of Japaridze's provability logic.. Arch. Math. Log., 53 (7-8): 949-967 (2014)On a Question of Krajewski's., and . J. Symb. Log., 84 (1): 343-358 (2019)The logical strength of minimal bad arrays, , and . Proceedings of the American Mathematical Society, (to appear)Provable better quasi orders, , , and . arXiv preprint,, (2023)Generalized fusible numbers and their ordinals., , and . CoRR, (2022)Solovay's Completeness Without Fixed Points.. WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 281-294. Springer, (2017)