✦ LIBER ✦

Weak Arithmetics and Kripke Models

✍ Scribed by Morteza Moniri

Publisher: John Wiley and Sons
Year: 2002
Tongue: English
Weight: 121 KB
Volume: 48
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200201)48:1<157::aid-malq157>3.0.co;2-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Corrigendum to “Weak Arithmetics and Kri

Corrigendum to “Weak Arithmetics and Kripke Models”

✍ Morteza Moniri 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 63 KB

On the structure of kripke models of hey

On the structure of kripke models of heyting arithmetic

✍ Zoran Marković 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 456 KB 👁 1 views

## Abstract Since in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical str

ZFC-MODELS AS KRIPKE-MODELS

✍ Franco Montagna 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 396 KB

Preservation theorems for Kripke models

✍ Morteza Moniri; Mostafa Zaare 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 123 KB

## Abstract There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model __A__ is a submodel of a Kripke model __B__ if they have the same frame and for each two corresponding worlds __A^α^__ and __B^α^__ of them, __A^

Strengths and Weaknesses of LH Arithmeti

Strengths and Weaknesses of LH Arithmetic

✍ Chris Pollett; Randall Pruim 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 326 KB

Abelian groups and quadratic residues in

Abelian groups and quadratic residues in weak arithmetic

✍ Emil Jeřábek 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 282 KB

We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Speci cally, we show that the structure theorem for nite abelian groups is provable in ), and use it to derive Fermat's little theorem and Euler's criterion for the Legendre