MoL-2023-17:
Sierra Miranda, Borja
(2023)
*On the Provability Logic of Constructive Arithmetic: The Σ_1-provability logics of fragments of Heyting Arithmetic.*
[Report]

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 |