BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Fedor Pakhomov
SearchCollections
Map detail
Fedor Pakhomov12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFedor PakhomovAFedor PakhomovResearcherReducing $ω$-model reflection to iterated syntactic reflectionWReducing $ω$-model refl...preprint / 2022How to escape Tennenbaum's theoremWHow to escape Tennenbau...preprint / 2022There are no minimal essentially undecidable TheoriesWThere are no minimal es...preprint / 2022Multi-Dimensional Interpretations of Presburger Arithmetic in ItselfWMulti-Dimensional Inter...preprint / 2020On the complexity of the closed fragment of Japaridze's provability logicWOn the complexity of th...preprint / 2013On Elementary Theories of Ordinal Notation Systems based on Reflection PrinciplesWOn Elementary Theories ...preprint / 2013On Elementary Theories of GLP-AlgebrasWOn Elementary Theories ...preprint / 2014Ordinal Notations in Caucal HierarchyWOrdinal Notations in Ca...preprint / 2015Short Proofs for Slow ConsistencyWShort Proofs for Slow C...preprint / 2020Slow and Ordinary Provability for Peano ArithmeticWSlow and Ordinary Prova...preprint / 2016Arithmetical and Hyperarithmetical Worm BattlesWArithmetical and Hypera...preprint / 2022
Person11 links

Fedor Pakhomov

Researcher

PaperReducing ωω-model reflection to iterated syntactic reflectionAuthorship / preprint / 2022PaperHow to escape Tennenbaum's theoremAuthorship / preprint / 2022PaperThere are no minimal essentially undecidable TheoriesAuthorship / preprint / 2022PaperMulti-Dimensional Interpretations of Presburger Arithmetic in ItselfAuthorship / preprint / 2020PaperOn the complexity of the closed fragment of Japaridze's provability logicAuthorship / preprint / 2013PaperOn Elementary Theories of Ordinal Notation Systems based on Reflection PrinciplesAuthorship / preprint / 2013PaperOn Elementary Theories of GLP-AlgebrasAuthorship / preprint / 2014PaperOrdinal Notations in Caucal HierarchyAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)