1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2024
From Numbers to Container Strings
Albert Visser
In this paper we examine two ways of coding sequences in arithmetical theories. We investigate under what conditions they work. To be more precise, we study the creation of objects…
math.LO2024
Lewis and Brouwer meet Strong Löb
Albert Visser, Tadeusz Litak
We study the principle phi implies box phi, known as `Strength' or `the Completeness Principle', over the constructive version of Löb's Logic. We consider this principle both for t…
math.LO2018★ 1 cited
The Absorption Law, or How to Kreisel a Hilbert-Bernays-Löb
Albert Visser
In this paper, we show how to construct for a given consistent theory a -predicate that both satisfies the Löb Conditions and the Kreisel Condition ---even if is uns…