Albert Visser

Identifiers

No identifiers captured yet.

Papers (8)

1. On a Theorem by Bezboruah & Shepherdson math.LO · 2026 · author #1
2. From Numbers to Container Strings math.LO · 2024 · author #1
3. Lewisian Fixed Points I: Two Incomparable Constructions cs.LO · 2019 · author #2
4. The Small-Is-Very-Small Principle math.LO · 2018 · author #1
5. Provability Logic and the Completeness Principle math.LO · 2018 · author #1
6. From Tarski to G\"odel. Or, how to derive the Second Incompleteness Theorem from the Undefinability of Truth without Self-reference math.LO · 2018 · author #1
7. On a question of Krajewski's math.LO · 2017 · author #2
8. Lewis meets Brouwer: constructive strict implication cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Tadeusz Litak 2 shared papers
• Fedor Pakhomov 1 shared papers
• Jetze Zoethout 1 shared papers