( en | de | ru )

 

Disambiguation of "Pakhomov, Fedor"

Author of the publication

copydeleteadd this publication to your clipboard
Interpretations of Presburger Arithmetic in Itself.

, and . LFCS, volume 10703 of Lecture Notes in Computer Science, page 354-367. Springer, (2018)

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

Michael Fedorcak

 

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)Interpretations of Presburger Arithmetic in Itself., and . LFCS, volume 10703 of Lecture Notes in Computer Science, page 354-367. Springer, (2018)Provable better quasi orders, , , and . arXiv preprint,, (2023)The logical strength of minimal bad arrays, , and . Proceedings of the American Mathematical Society, (to appear)Solovay's Completeness Without Fixed Points.. WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 281-294. Springer, (2017)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)Multi-dimensional Interpretations of Presburger Arithmetic in Itself., and . J. Log. Comput., 30 (8): 1681-1693 (2020)Generalized fusible numbers and their ordinals., , and . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103355 (January 2024)