✦ LIBER ✦

ZFC-MODELS AS KRIPKE-MODELS

✍ Scribed by Franco Montagna

Publisher: John Wiley and Sons
Year: 1983
Tongue: English
Weight: 396 KB
Volume: 29
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19830290305

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Weak Arithmetics and Kripke Models

✍ Morteza Moniri 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 121 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^

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

Some results on Kripke models over an ar

Some results on Kripke models over an arbitrary fixed frame

✍ Seyed Mohammad Bagheri; Morteza Moniri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

## Abstract We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim‐Skolem's theorems as determined by our definitions. The relations between cor

Social cliques as mental models

✍ ULRICH v. HECKER; WALTER H. CROCKETT; MARY LEE HUMMERT; SUSAN KEMPER 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 506 KB

The present research investigates how a mental model derived from patterns o j sentiment relations (mental clique model) interacts with social background information (membership in social categories). Testing memory for a set of sentiment relations, the data support the assumption that a strongly po