Graph explorer

Research map

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

Albert Visser
Map detail
Albert Visser8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlbert VisserAAlbert VisserResearcherFriedman-reflexivity: interpreters as consistoidsWFriedman-reflexivity: i...preprint / 2022Cyclic Henkin LogicWCyclic Henkin Logicpreprint / 2021The Absorption Law, or How to Kreisel a Hilbert-Bernays-LöbWThe Absorption Law, or ...preprint / 2020Self-reference Upfront: A Study of Self-referential Gödel NumberingsWSelf-reference Upfront:...preprint / 2020The interpretability logic of all reasonable arithmetical theoriesWThe interpretability lo...preprint / 2020There are no minimal essentially undecidable TheoriesWThere are no minimal es...preprint / 2022On Guaspari's problem about partially conservative sentencesWOn Guaspari's problem a...preprint / 2022
Person7 links

Albert Visser

Researcher