Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904264 | Annals of Pure and Applied Logic | 2018 | 47 Pages |
Abstract
In this paper we introduce a modal theory iHÏ which is sound and complete for arithmetical Σ1-interpretations in HA, in other words, we will show that iHÏ is the Σ1-provability logic of HA. Moreover we will show that iHÏ is decidable. As a by-product of these results, we show that HA+â¡â¥ has de Jongh property.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Mohammad Ardeshir, Mojtaba Mojtahedi,