( en | de | ru )

 

Disambiguation of "Pakhomov, Fedor"

Author of the publication

copydeleteadd this publication to your clipboard
Provable better quasi orders

, , , and . arXiv preprint,, (2023)

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

Michael Fedorcak

Maria Fedorova

 

Other publications of authors with the same name

Reducing ω-model reflection to iterated syntactic reflection., and . J. Math. Log., 23 (2): 2250001:1-2250001:40 (August 2023)The logical strength of minimal bad arrays, , and . Proceedings of the American Mathematical Society, (to appear)Provable better quasi orders, , , and . arXiv preprint,, (2023)Solovay's Completeness Without Fixed Points.. WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 281-294. Springer, (2017)Interpretations of Presburger Arithmetic in Itself., and . LFCS, volume 10703 of Lecture Notes in Computer Science, page 354-367. Springer, (2018)Complexity of the interpretability logic IL., , and . Logic Journal of the IGPL, 27 (1): 1-7 (2019)Short Proofs for Slow Consistency., and . Notre Dame J. Formal Log., 61 (1): 31-49 (2020)Generalized fusible numbers and their ordinals., , and . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103355 (January 2024)Multi-dimensional Interpretations of Presburger Arithmetic in Itself., and . J. Log. Comput., 30 (8): 1681-1693 (2020)