The \Sigma₁ Provability Logic of HA

MaRDI QIDQ6254799zbMATH OpenFDO

Authors Mohammad Ardeshir, S. Mojtaba Mojtahedi

Publication date 19 September 2014

Abstract: In this paper we introduce a modal theory $H_{sigma}$, which is sound and complete for arithmetical $Sigma$_1 substitutions in $$, in other words, we will show that $H_{sigma}$ is the $Sigma$_1-provability logic of $$. Moreover we will show that $H_{sigma}$ is decidable. As a by-product of these results, we show that $$ has de Jongh property.

This page was built for publication: The $\Sigma$_1 Provability Logic of HA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6254799)