Fedor N. Pakhomov

Available identifiers

zbMath Open pakhomov.fedor-nMaRDI QIDQ2120975

List of research outcomes

Publication	Date of Publication	Type
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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fedor N. Pakhomov