Intuitionistic weak arithmetic

Archive for Mathematical Logic 42 (8):791-796 (2003)
  Copy   BIBTEX

Abstract

We construct ω-framed Kripke models of i∀1 and iΠ1 non of whose worlds satisfies ∀x∃y(x=2y∨x=2y+1) and ∀x,y∃zExp(x, y, z) respectively. This will enable us to show that i∀1 does not prove ¬¬∀x∃y(x=2y∨x=2y+1) and iΠ1 does not prove ¬¬∀x, y∃zExp(x, y, z). Therefore, i∀1⊬¬¬lop and iΠ1⊬¬¬iΣ1. We also prove that HA⊬lΣ1 and present some remarks about iΠ2

Categories

Keywords

Reprint years

DOI

10.1007/s00153-003-0189-8

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,314

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

Some weak fragments of {${\rm HA}$} and certain closure properties.Morteza Moniri & Mojtaba Moniri - 2002 - Journal of Symbolic Logic 67 (1):91-103.
Independence results for weak systems of intuitionistic arithmetic.Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (3):250.
Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
On diophantine equations solvable in models of open induction.Margarita Otero - 1990 - Journal of Symbolic Logic 55 (2):779-786.
Semi-Heyting Algebras and Identities of Associative Type.Juan M. Cornejo & Hanamantagouda P. Sankappanavar - 2019 - Bulletin of the Section of Logic 48 (2).
The Σ 2 1 theory of axioms of symmetry.Galen Weitkamp - 1989 - Journal of Symbolic Logic 54 (3):727-734.
The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
Notes.Robert van Rooij - unknown
Induktive Definitionen und Dilatoren.Wilfried Buchholz - 1988 - Archive for Mathematical Logic 27 (1):51-60.
Interpolation theorems for intuitionistic predicate logic.G. Mints - 2001 - Annals of Pure and Applied Logic 113 (1-3):225-242.

Analytics

Added to PP
2013-11-23

Downloads
66 (#350,077)

6 months
6 (#722,991)

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