prof. dr. Fedor Pakhomov
- ORCID iD
-
0000-0002-9629-9259
Show
Sort by
-
- Journal Article
- A1
- open access
There are no minimal essentially undecidable theories
-
- Miscellaneous
- open access
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)
-
- Journal Article
- A1
- open access
The Pi ^1_2 consequences of a theory
-
The logical strength of minimal bad arrays
(2023) -
The spectrum of Π¹₃-soundness
-
Provable better quasi orders
(2023) -
- Miscellaneous
- open access
Modern perspectives in Proof Theory
-
Reducing ω-model reflection to iterated syntactic reflection
-
Linear orders in Presburger arithmetic
(2022) -
Finitely axiomatized theories lack self‐comprehension