The Σ1-Provability Logic of HA

&
Journal of Symbolic Logic:1-18 (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2019.44

Other Versions

reprint Ardeshir, Mohammad; Mojtahedi, Mojtaba (2018) "The Σ1-provability logic of HA". Annals of Pure and Applied Logic 169(10):997-1043

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour, eds. Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir.[author unknown] - 2021 - Philosophia Mathematica 29 (3):451-452.
Reduction of provability logics to Σ1-provability logics.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2015 - Logic Journal of the IGPL 23 (5):842-847.
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir.Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.) - 2021 - Springer.
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic.Ana de Almeida Borges & Joost J. Joosten - forthcoming - Studia Logica:1-33.
On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
The -provability logic of.Mohammad Ardeshir & Mojtaba Mojtahedi - 2019 - Journal of Symbolic Logic 84 (3):1118-1135.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
On σ1 well-orderings of the universe.Leo Harrington & Thomas Jech - 1976 - Journal of Symbolic Logic 41 (1):167-170.

Analytics

Added to PP
2019-07-13

Downloads
21 (#993,302)

6 months
3 (#1,465,011)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references