57 citations · 86 across the 14 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
Self-reference Upfront: A Study of Self-referential Gödel Numberings
Balthasar Grabmayr, Albert Visser
In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-refer…
math.LO2020★ 1 cited
The interpretability logic of all reasonable arithmetical theories
Joost J. Joosten, Albert Visser
This paper from 2000 is a presentation of a status quæstionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We…