Geodesic
On Reduced Products of Kripke Models
Publications de l'Institut Mathématique, _N_S_34 (1983) no. 48, p. 117

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Ultraproducts of Kripke models for Induitionistic theories were defined by Cleave [1] and Gabbay [2]. In [3] and [4] Gabbay proved the ``Los's theorem'' and some other analogues of classical results. Here we consider the products of Kripke models reduced over arbitrary filters, so called reduced products. Several classes of formulas are defined, for which preservation results are proved. Some preliminary results on this topic were contained in [6].
Classification : 03C90 03B60 03F50 
@article{PIM_1983_N_S_34_48_a18,
     author = {Zoran Markovi\'c},
     title = {On {Reduced} {Products} of {Kripke} {Models}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {117 },
     publisher = {mathdoc},
     volume = {_N_S_34},
     number = {48},
     year = {1983},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a18/}
}
TY  - JOUR
AU  - Zoran Marković
TI  - On Reduced Products of Kripke Models
JO  - Publications de l'Institut Mathématique
PY  - 1983
SP  - 117 
VL  - _N_S_34
IS  - 48
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a18/
LA  - en
ID  - PIM_1983_N_S_34_48_a18
ER  - 
%0 Journal Article
%A Zoran Marković
%T On Reduced Products of Kripke Models
%J Publications de l'Institut Mathématique
%D 1983
%P 117 
%V _N_S_34
%N 48
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a18/
%G en
%F PIM_1983_N_S_34_48_a18
Zoran Marković. On Reduced Products of Kripke Models. Publications de l'Institut Mathématique, _N_S_34 (1983) no. 48, p. 117 . http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a18/