EMIS ELibM Electronic Journals PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 34(48), pp. 117--120 (1983)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

 		 

ON REDUCED PRODUCTS OF KRIPKE MODELS

Zoran Markovi\'c

Matematicki institut SANU, Beograd, Yugoslavia

Abstract: 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 (MSC2000): 03C90, 03B60, 03F50

Full text of the article:

Electronic fulltext finalized on: 3 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition