( en | de | ru )

 

Disambiguierung von "Pakhomov, Fedor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generalized fusible numbers and their ordinals.

, , und . Ann. Pure Appl. Log., 175 (Issue 1, Part A): 103355 (Januar 2024)

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

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