MoL-2023-17: Sierra Miranda, Borja (2023) On the Provability Logic of Constructive Arithmetic: The Σ_1-provability logics of fragments of Heyting Arithmetic. [Report]
![[thumbnail of MoL-2023-17.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2023-17.text.pdf - Published Version Download (573kB) |
Abstract
We study provability logic in the context of intuitionistic arithmetics. In particular, we focus on the Σ1-provability logics of subtheories of Heyting Arithmetic HA. In order to do so, we analyze the tools developed by Visser and Zoethout and a method for constructing so-called slow provability predicates introduced by Visser. We also study a theory distinct from HA, iIΣ_1^+ , for which we can calculate its Σ_1-provability logic.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2023-17 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2023 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 05 Sep 2023 12:56 |
| Last Modified: | 07 Sep 2023 13:11 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2266 |
Actions (login required)
 |
View Item |
