Localizing finite-depth Kripke models
| Autor: | S. Mojtaba Mojtahedi |
|---|---|
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | Logic Journal of the IGPL. 27:239-251 |
| ISSN: | 1368-9894 1367-0751 |
| DOI: | 10.1093/jigpal/jzy036 |
| Popis: | We can look at a first-order (or propositional) intuitionistic Kripke model as an ordered set of classical models. In this paper, we show that for a finite-depth Kripke model in an arbitrary first-order language or propositional language, local (classical) truth of a formula is equivalent to non-classical truth (truth in the Kripke semantics) of a Friedman's translation of that formula, i.e. $ \alpha\Vdash A^\rho \Leftrightarrow \mathfrak{M}_\alpha\models A$. We introduce some applications of this fact. We extend the result of [Ardeshir and Hessam 2002] and show that semi-narrow Kripke models of Heyting Arithmetic $ {\sf HA} $ are locally $ {\sf PA} $. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|