Fedor N. Pakhomov

Available identifiers

zbMath Open pakhomov.fedor-nMaRDI QIDQ2120975

List of research outcomes

Publication	Date of Publication	Type
The logical strength of minimal bad arrays	2025-01-08	Paper
There are no minimal essentially undecidable theories	2024-11-12	Paper
Correction to: ``Arithmetical and hyperarithmetical worm battles	2024-11-12	Paper
Functorial Fast-Growing Hierarchies	2024-02-07	Paper
Generalized fusible numbers and their ordinals	2023-10-12	Paper
Finitely axiomatized theories lack self‐comprehension	2023-09-20	Paper
On the coprimeness relation from the viewpoint of monadic second-order logic	2023-09-02	Paper
The Π21$\Pi ^1_2$ consequences of a theory	2023-08-23	Paper
Provable better quasi orders	2023-05-01	Paper
The logical strength of minimal bad arrays	2023-04-01	Paper
Arithmetical and Hyperarithmetical Worm Battles	2023-01-04	Paper
Linear Orders in Presburger Arithmetic	2022-09-23	Paper
How to escape Tennenbaum's theorem	2022-09-02	Paper
There are no minimal essentially undecidable Theories	2022-07-17	Paper
Reflection algebras and conservation results for theories of iterated truth	2022-04-01	Paper
Multi-dimensional Interpretations of Presburger Arithmetic in Itself	2020-12-15	Paper
Short proofs for slow consistency	2020-05-04	Paper
Multi-Dimensional Interpretations of Presburger Arithmetic in Itself	2020-04-05	Paper
Complexity of the interpretability logic IL	2019-11-04	Paper
Reflection algebras and conservation results for theories of iterated truth	2019-08-27	Paper
Truth, disjunction, and induction	2019-07-04	Paper
A weak set theory that proves its own consistency	2019-07-01	Paper
ON A QUESTION OF KRAJEWSKI’S	2019-03-15	Paper
Reflection ranks and ordinal analysis	2018-05-05	Paper
Interpretations of Presburger arithmetic in itself	2018-04-06	Paper
Solovay's completeness without fixed points	2017-12-20	Paper
Linear $ \mathrm{GLP}$-algebras and their elementary theories	2017-03-08	Paper
On elementary theories of ordinal notation systems based on reflection principles	2016-05-10	Paper
Slow and Ordinary Provability for Peano Arithmetic	2016-02-04	Paper
Ordinal Notations in Caucal Hierarchy	2015-12-15	Paper
On the complexity of the closed fragment of Japaridze's provability logic	2014-12-15	Paper
On Elementary Theories of GLP-Algebras	2014-12-14	Paper
Undecidability of the elementary theory of the semilattice of GLP-words	2012-11-23	Paper
The Logic of Correct Models	N/A	Paper

Research outcomes over time

This page was built for person: Fedor N. Pakhomov