Mathematical Logic Quarterly 49 (3):250 (2003)

Authors
Abstract
This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds in any linear Kripke model of HA satisfies PA. We construct a two-node PA-normal Kripke structure which does not force iΣ2. We prove i∀1 ⊬ i∃1, i∃1 ⊬ i∀1, iΠ2 ⊬ iΣ2 and iΣ2 ⊬ iΠ2. We use Smorynski's operation Σ′ to show HA ⊬ lΠ1
Keywords Heyting arithmetic  least number principle  Kripke model  weak fragments of HA
Categories (categorize this paper)
DOI 10.1002/malq.200310024
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,688
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Intuitionistic Weak Arithmetic.Morteza Moniri - 2003 - Archive for Mathematical Logic 42 (8):791-796.
Undecidability and Intuitionistic Incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
Corrigendum to "Weak Arithmetics and Kripke Models".Morteza Moniri - 2004 - Mathematical Logic Quarterly 50 (6):637.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Preservation Theorems for Bounded Formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
On the Structure of Kripke Models of Heyting Arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.
Dynamic Ordinal Analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.

Analytics

Added to PP index
2013-12-01

Total views
16 ( #595,882 of 2,349,560 )

Recent downloads (6 months)
1 ( #510,673 of 2,349,560 )

How can I increase my downloads?

Downloads

My notes