PP-2016-32: Interpretability suprema in Peano Arithmetic

PP-2016-32: Henk, Paula and Visser, Albert (2016) Interpretability suprema in Peano Arithmetic. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (240kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (876B)


This paper develops the philosophy and technology needed for adding a supremum operator to the interpretability logic ILM of Peano Arithmetic (PA). It is well- known that any theories extending PA have a supremum in the interpretability ordering. While provable in PA, this fact is not reflected in the theorems of the modal system ILM, due to limited expressive power. Our goal is to enrich the language of ILM by adding to it a new modality for the interpretability supremum. We explore different options for specifying the exact meaning of the new modality. Our final proposal involves a unary operator, the dual of which can be seen as a (nonstandard) provability predicate satisfying the axioms of the provability logic GL.

Item Type: Report
Report Nr: PP-2016-32
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: Provability logic, Interpretability, Peano Arithmetic
Subjects: Logic
Depositing User: Paula Henk
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/568

Actions (login required)

View Item View Item