( en | de | ru )

 

Disambiguierung von "Pakhomov, Fedor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The logical strength of minimal bad arrays

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Lenka Fedorová

Jan Kaspar Fedorcak

Aleksandra Fedorova

Maria Fedorova

Mariana Fedorová

 

Weitere Publikationen von Autoren mit dem selben Namen

Reflection ranks and Ordinal Analysis., und . J. Symb. Log., 86 (4): 1350-1384 (2021)Reflection algebras and conservation results for theories of iterated truth., und . Ann. Pure Appl. Log., 173 (5): 103093 (2022)Interpretations of Presburger Arithmetic in Itself., und . LFCS, Volume 10703 von Lecture Notes in Computer Science, Seite 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., und . J. Math. Log., 23 (2): 2250001:1-2250001:40 (August 2023)On a Question of Krajewski's., und . J. Symb. Log., 84 (1): 343-358 (2019)Generalized fusible numbers and their ordinals., , und . CoRR, (2022)Provable better quasi orders, , , und . arXiv preprint,, (2023)The logical strength of minimal bad arrays, , und . Proceedings of the American Mathematical Society, (to appear)Complexity of the interpretability logic IL., , und . Logic Journal of the IGPL, 27 (1): 1-7 (2019)