ON THE EMBEDDING OF PROPOSITIONAL MODELS

Marica D. Presi\'c

Abstract: We consider the problem of isomorpical embedding for propositional models (where propositional letters are represented by propositional letters and, more generally, by propositional formulae) and prove some general theorems which parallel to those due to Los [1] and Keisler [2]. As a consequence of the proved theorems we obtain necessary and sufficient condions for embedding each model $\alpha$ of the language $P$ in some model $\beta$ of the set $\Cal F$ of propositional formulae in the language $Q$. In the second part of the paper, in the case $P$, $Q$ are finite and $\Cal F$ is empty we prove that such embedding can be characterised in some other ways.

Full text of the article:

• Compressed PostScript file (58 kilobytes)
• PDF file (151 kilobytes)