On the Embedding of Propositional Models
Publications de l'Institut Mathématique, _N_S_28 (1980) no. 42, p. 151
Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
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.
@article{PIM_1980_N_S_28_42_a19,
author = {Marica D. Pre\v{s}i\'c},
title = {On the {Embedding} of {Propositional} {Models}},
journal = {Publications de l'Institut Math\'ematique},
pages = {151 },
publisher = {mathdoc},
volume = {_N_S_28},
number = {42},
year = {1980},
language = {en},
url = {http://geodesic.mathdoc.fr/item/PIM_1980_N_S_28_42_a19/}
}
Marica D. Prešić. On the Embedding of Propositional Models. Publications de l'Institut Mathématique, _N_S_28 (1980) no. 42, p. 151 . http://geodesic.mathdoc.fr/item/PIM_1980_N_S_28_42_a19/