Necessary and sufficient conditions are stated for an arbitrary theory to be an elementary theory for a class of its existentially closed models. Conditions are given under which some existentially closed model simultaneously realizes one maximal existential type and omits another. We also prove a theorem on a prime existentially closed model over a maximal existential type. Considerable complexity of existentially closed structures and their theories was noted by A. Macintyre. Therefore, the examples of existentially closed companions having any finite or countable number of pairwise non elementarily equivalent existentially closed models constructed here are of interest.
Similar content being viewed by others
References
A. Robinson, On the Metamathematics of Algebra, Stud. Log. Found. Math., North-Holland, Amsterdam (1951).
Handbook of Mathematical Logic, Vol. 1, Model Theory, J. Barwise (ed.), North-Holland, Amsterdam (1977).
A. T. Nurtazin, “Countable infinite existentially closed models of universally axiomatizable theories,” Sib. Adv. Math., 26, No. 2, 99-125 (2016).
R. Fraïssé, “Sur quelques classifications des systèmes de rélations,” Publ. Sci. Univ. Alger, Sér. A, 1, 35-182 (1955).
Z. G. Khisamiev, “Existentially closed companions of the ring of integers,” Mal’tsev Readings (2015), p. 202; http://math.nsc.ru/conference/malmeet/15/malmeet15.pdf.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by KN MON RK, project No. 0174/GF4.
Translated from Algebra i Logika, Vol. 57, No. 3, pp. 321-337, May-June, 2018.
Rights and permissions
About this article
Cite this article
Nurtazin, A.T. Properties of Existentially Closed Companions. Algebra Logic 57, 211–221 (2018). https://doi.org/10.1007/s10469-018-9494-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-018-9494-5