Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.15382 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909118327947264 |
|---|---|
| author | Aguilera, Juan Pablo Pakhomov, Fedor |
| author_facet | Aguilera, Juan Pablo Pakhomov, Fedor |
| contents | For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following purely modal-logical results which are of independent interest: the logic GLP.3 coincides with the logic of closed substitutions of GLP, and is the maximal non-degenerate, normal extension of GLP. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_15382 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Logic of Correct Models Aguilera, Juan Pablo Pakhomov, Fedor Logic 03B45, 03E99 For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following purely modal-logical results which are of independent interest: the logic GLP.3 coincides with the logic of closed substitutions of GLP, and is the maximal non-degenerate, normal extension of GLP. |
| title | The Logic of Correct Models |
| topic | Logic 03B45, 03E99 |
| url | https://arxiv.org/abs/2402.15382 |