Source author record

Albert Visser

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

7works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Friedman-reflexivity: interpreters as consistoids

Harvey Friedman shows that, over Peano Arithmetic, the consistency statement for a finitely axiomatised theory $A$ can be characterised as the weakest statement $C$ over Peano Arithmetic such that ${\sf PA}+C$ interprets $A$ . We study which base theories $U$ have the property that, for any finitely axiomatised $A$ , there is a weakest $C$ such that $U+C$ interprets $A$ . We call such theories Friedman-reflexive. We show that a very weak theory, Peano Corto, is Friedman-reflexive. We do not get the usual consistency statements here, but bounded, cut-free or Herbrand consistency statements. We prove a characterisation theorem for Friedman-reflexive sequential theories. We provide an example of a Friedman-reflexive sequential theory that substantially differs from the paradigm cases of Peano Arithmetic and Peano Corto. The consistency-like statements provided by a Friedman-reflexive base $U$ can be used to define a provability-like notion for a finitely axiomatised $A$ that interprets $U$ via an interpretation $K$ of $U$ in $A$ . We call the modal logics based on this idea \emph{interpreter logics}. These logics satisfy the Löb Conditions. We provide conditions for when these logics extend {\sf S}4, {\sf K}45, and Löb's Logic. We show that, if either $U$ or $A$ is sequential, then the condition for extending Löb's Logic is fulfilled. Moreover, if our base theory $U$ is sequential and if, in addition, its interpreters can be effectively found, we prove Solovay's Theorem. This holds even if the provability-like operator is not necessarily representable by a predicate of Gödel numbers. At the end of the paper, we briefly discuss how successful the coordinate-free approach is.

preprint2022arXiv

On Guaspari's problem about partially conservative sentences

We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two theories. In particular, for any finite family $\{T_i\}_{i \leq k}$ of consistent r.e. extensions of Peano Arithmetic, we give a necessary and sufficient condition for the existence of a $Π_n$ sentence which is unprovable in $T_i$ and $Σ_n$ -conservative over $T_i$ for all $i \leq k$ . Secondly, we prove that for any finite family of such theories, there exists a $Σ_n$ sentence which is simultaneously unprovable and $Π_n$ -conservative over each of these theories. This constitutes a positive solution to a particular case of Guaspari's problem. Finally, we demonstrate several non-implications among related properties of families of theories.

preprint2022arXiv

There are no minimal essentially undecidable Theories

We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

preprint2021arXiv

Cyclic Henkin Logic

In this paper, we study Cyclic Henkin Logic CHL, a logic that can be described as provability logic without the third Löb condition, to wit, that provable implies provably provable (aka principle 4). The logic CHL does have full modalised fixed points. We implement these fixed points using cyclic syntax, so that we can work just with the usual repertoire of connectives. The main part of the paper is devoted to developing the logic on cyclic syntax. Many theorems, like the multiple fixed point theorem, become matter of course in this context. We submit that the use of cyclic syntax is of interest even for the study of classical Löb's Logic. We show that a version of the de Jongh-Sambin algorithm can be seen as one half of a synonymy between the theory GL^\circ, i.e.\ CHL plus the third Löb Condition, and ordinary Löb's Logic GL. Our development illustrates that an appropriate computation scheme for the algorithm is guard recursion. We show how arithmetical interpretations work for the cyclic syntax. In an appendix, we give some further information about the arithmetical side of the equation.

preprint2020arXiv

Self-reference Upfront: A Study of Self-referential Gödel Numberings

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-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study of certain principles of self-referential truth.

preprint2020arXiv

The Absorption Law, or How to Kreisel a Hilbert-Bernays-Löb

In this paper, we show how to construct for a given consistent theory $U$ a $Σ^0_1$ -predicate that both satisfies the Löb Conditions and the Kreisel Condition ---even if $U$ is unsound. We do this in such a way that $U$ itself can verify satisfaction of an internal version of the Kreisel Condition.

preprint2020arXiv

The interpretability logic of all reasonable arithmetical theories

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 present both the arithmetical side and the modal side of the question.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Albert Visser

Research overview

Is this your work?

7 publications

Friedman-reflexivity: interpreters as consistoids

On Guaspari's problem about partially conservative sentences

There are no minimal essentially undecidable Theories

Cyclic Henkin Logic

Self-reference Upfront: A Study of Self-referential Gödel Numberings

The Absorption Law, or How to Kreisel a Hilbert-Bernays-Löb

The interpretability logic of all reasonable arithmetical theories

See the researcher in context

Building this map preview