𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Preservation theorems for Kripke models

✍ Scribed by Morteza Moniri; Mostafa Zaare

Publisher
John Wiley and Sons
Year
2009
Tongue
English
Weight
123 KB
Volume
55
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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^α^ is a subset of B^α^ and forcing of atomic formulas with parameters in the smaller one, in A and B, are the same. In this case, B is called an extension of A. We characterize theories that are preserved under taking submodels and also those that are preserved under taking extensions as universal and existential theories, respectively. We also study the notion elementary submodel defined in the same style and give some results concerning this notion. In particular, we prove that the relation between each two corresponding worlds of finite Kripke models A ≤ B is elementary extension (in the classical sense) (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Analytic completeness theorem for singul
Analytic completeness theorem for singular biprobability models
✍ Radosav S. Đordević 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract The aim of the paper is to prove tha analytic completeness theorem for a logic __L__(∫~1~, ∫~2~)~A~^s^ with two integral operators in the singular case. The case of absolute continuity was proved in [4]. MSC: 03B48, 03C70.

ANALYTIC COMPLETENESS THEOREM FOR ABSOLU
ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
✍ Radosav S. Đorđević 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB

## Abstract Hoover [2] proved a completeness theorem for the logic L(∫)𝒜. The aim of this paper is to prove a similar completeness theorem with respect to product measurable biprobability models for a logic L(∫~1~, ∫~2~) with two integral operators. We prove: If __T__ is a ∑~1~ definable theory on

Extended Gauss–Markov Theorem for Nonpar
Extended Gauss–Markov Theorem for Nonparametric Mixed-Effects Models
✍ Su-Yun Huang; Henry Horng-Shing Lu 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 158 KB

The Gauss Markov theorem provides a golden standard for constructing the best linear unbiased estimation for linear models. The main purpose of this article is to extend the Gauss Markov theorem to include nonparametric mixed-effects models. The extended Gauss Markov estimation (or prediction) is sh

Independence Distribution Preserving Cov
Independence Distribution Preserving Covariance Structures for the Multivariate Linear Model
✍ Dean M. Young; John W. Seaman; Laurie M. Meaux 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 114 KB

Consider the multivariate linear model for the random matrix Y n\_p t MN(XB, V 7), where B is the parameter matrix, X is a model matrix, not necessarily of full rank, and V 7 is an np\_np positive-definite dispersion matrix. This paper presents sufficient conditions on the positive-definite matrix V

Existence and uniqueness theorem for the
Existence and uniqueness theorem for the Chan–Bodner–Lindholm model
✍ Piotr Gwiazda 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

## Communicated by A. Piskorek In this paper we consider a problem of non-linear inelasticity. The global in the time existence and uniqueness for the Chan-Bodner-Lindholm model is proved. The idea of the proof is based on the non-linear semigroup method.