Corrigendum to "Weak Arithmetics and Kripke Models"

Mathematical Logic Quarterly 50 (6):637 (2004)
  Copy   BIBTEX

Abstract

We give a corrected proof of the main result in the paper [2] mentioned in the title

Categories

Keywords

Reprint years

DOI

10.1002/malq.200410007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
Intuitionistic weak arithmetic.Morteza Moniri - 2003 - Archive for Mathematical Logic 42 (8):791-796.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Independence results for weak systems of intuitionistic arithmetic.Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (3):250.
On the structure of kripke models of heyting arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Submodels of Kripke models.Albert Visser - 2001 - Archive for Mathematical Logic 40 (4):277-295.
Every Rooted Narrow Tree Kripke Model of HA is Locally PA.Mohammad Ardeshir & Bardyaa Hesaam - 2002 - Mathematical Logic Quarterly 48 (3):391-395.
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.
Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Nonstandard Models and Kripke's Proof of the Gödel Theorem.Hilary Putnam - 2000 - Notre Dame Journal of Formal Logic 41 (1):53-58.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Kripke semantics for provability logic GLP.Lev D. Beklemishev - 2010 - Annals of Pure and Applied Logic 161 (6):756-774.

Analytics

Added to PP
2013-12-01

Downloads
31 (#518,746)

6 months
6 (#530,265)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references