RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2012 Volume 51, Number 6, Pages 748–765 (Mi al562)

This article is cited in 5 papers

Existentially closed and maximal models in positive logic

A. Kungozhin

Al-Farabi Kazakh National University, Alma-Ata, Kazakhstan

Abstract: It is proved that a subclass of positively existentially closed models of any finitely axiomatizable $h$-universal class in a predicate signature is axiomatizable. We construct examples suggesting the necessity of these conditions for the given subclass to be axiomatizable. The concept of an $h$-maximal model is introduced. It is shown that a subclass of $h$-maximal models of any finitely axiomatizable $h$-universal class is also finitely axiomatizable. Moreover, the set of positively existentially closed models in an $h$-universally axiomatizable class coincides with the set of positively existentially closed models in its subclass of $h$-maximal models.

Keywords: finitely axiomatizable $h$-universal class, positively existentially closed model.

UDC: 510.67

Received: 07.03.2012
Revised: 10.10.2012


 English version:
Algebra and Logic, 2013, 51:6, 496–506

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024