Finite Kripke models of HA are locally PA

Notre Dame Journal of Formal Logic 27:528-532 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636765

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Every Rooted Narrow Tree Kripke Model of HA is Locally PA.Mohammad Ardeshir & Bardyaa Hesaam - 2002 - Mathematical Logic Quarterly 48 (3):391-395.
On the Modal Definability of Simulability by Finite Transitive Models.David Fernández Duque - 2011 - Studia Logica 98 (3):347-373.
Strong completeness with respect to finite kripke models.Wiesław Dziobiak - 1981 - Studia Logica 40 (3):249-252.
Quantifier-eliminable locally finite graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Back and Forth Between First-Order Kripke Models.Tomasz Połacik - 2008 - Logic Journal of the IGPL 16 (4):335-355.
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Kripke semantics for provability logic GLP.Lev D. Beklemishev - 2010 - Annals of Pure and Applied Logic 161 (6):756-774.
Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
Partially-Elementary Extension Kripke Models: A Characterization and Applications.Tomasz Połacik - 2006 - Logic Journal of the IGPL 14 (1):73-86.
Intuitionistic axiomatizations for bounded extension Kripke models.Mohammad Ardeshir, Wim Ruitenburg & Saeed Salehi - 2003 - Annals of Pure and Applied Logic 124 (1-3):267-285.
Locally finite weakly minimal theories.James Loveys - 1991 - Annals of Pure and Applied Logic 55 (2):153-203.
Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.
A Locally Finite Model for Gravity.Gerard ’T. Hooft - 2008 - Foundations of Physics 38 (8):733-757.

Analytics

Added to PP
2010-08-24

Downloads
24 (#642,030)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Localizing finite-depth Kripke models.Mojtaba Mojtahedi - 2019 - Logic Journal of the IGPL 27 (3):239-251.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references