57 citations · 86 across the 14 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018
The Small-Is-Very-Small Principle
Albert Visser
The central result of this paper is the small-is-very-small principle for restricted sequential theories. The principle says roughly that whenever the given theory shows that a pro…
math.LO2018
Provability Logic and the Completeness Principle
Albert Visser, Jetze Zoethout
In this paper, we study the provability logic of intuitionistic theories of arithmetic that prove their own completeness. We prove a completeness theorem for theories equipped with…
math.LO2018
From Tarski to Gödel. Or, how to derive the Second Incompleteness Theorem from the Undefinability of Truth without Self-reference
Albert Visser
In this paper, we provide a fairly general self-reference-free proof of the Second Incompleteness Theorem from Tarski's Theorem of the Undefinability of Truth.