PP-2014-01: Kripke Models Built from Models of Arithmetic

PP-2014-01: Henk, Paula (2014) Kripke Models Built from Models of Arithmetic. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (1kB)


We introduce three relations between models of Peano Arithmetic (PA), each of which is characterized as an arithmetical accessibility relation. A relation R is said to be an arithmetical accessibility relation if for any model M of PA, M satisfies Pr_\pi(\phi) iff M' satisfies \phi for all M' with M R M', where Pr_pi(x) is an intensionally correct provability predicate of PA. The existence of arithmetical accessibility relations yields a new perspective on the arithmetical completeness of GL. We show that any finite Kripke model for GL is bisimilar to some "arithmetical" Kripke model whose domain consists of models of PA and whose accessibility relation is an arithmetical accessibility relation. This yields a new interpretation of the modal operators in the context of PA: an arithmetical assertion \phi is consistent (possible, diamond \phi) if it holds in some arithmetically accessible model, and provable (necessary, box \phi) if it holds in all arithmetically accessible models.

Item Type: Report
Report Nr: PP-2014-01
Series Name: Prepublication (PP) Series
Year: 2014
Uncontrolled Keywords: Arithmetic; modal logic; provability logic; internal models
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/489

Actions (login required)

View Item View Item