( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpretations of Presburger Arithmetic in Itself.

, и . LFCS, том 10703 из Lecture Notes in Computer Science, стр. 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.

Lenka Fedorová

Jan Kaspar Fedorcak

Aleksandra Fedorova

Maria Fedorova

Mariana Fedorová

 

Другие публикации лиц с тем же именем

Reflection ranks and Ordinal Analysis., и . J. Symb. Log., 86 (4): 1350-1384 (2021)Reflection algebras and conservation results for theories of iterated truth., и . Ann. Pure Appl. Log., 173 (5): 103093 (2022)Interpretations of Presburger Arithmetic in Itself., и . LFCS, том 10703 из Lecture Notes in Computer Science, стр. 354-367. Springer, (2018)On the complexity of the closed fragment of Japaridze's provability logic.. Arch. Math. Log., 53 (7-8): 949-967 (2014)Reducing ω-model reflection to iterated syntactic reflection., и . J. Math. Log., 23 (2): 2250001:1-2250001:40 (августа 2023)On a Question of Krajewski's., и . J. Symb. Log., 84 (1): 343-358 (2019)Provable better quasi orders, , , и . arXiv preprint,, (2023)The logical strength of minimal bad arrays, , и . Proceedings of the American Mathematical Society, (to appear)Generalized fusible numbers and their ordinals., , и . CoRR, (2022)Generalized fusible numbers and their ordinals., , и . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103355 (января 2024)