|
This article is cited in 1 scientific paper (total in 2 paper)
Properties of existentially closed companions
A. T. Nurtazin Institute of Information and Computational Technologies, Ministry of Education and Science RK, ul. Pushkina 125, Alma-Ata, 050010 Kazakhstan
Abstract:
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.
Keywords:
elementary theory, existentially closed model, existentially closed companion, existential type.
Received: 06.01.2017 Revised: 25.10.2017
Citation:
A. T. Nurtazin, “Properties of existentially closed companions”, Algebra Logika, 57:3 (2018), 321–337; Algebra and Logic, 57:3 (2018), 211–221
Linking options:
https://www.mathnet.ru/eng/al852 https://www.mathnet.ru/eng/al/v57/i3/p321
|
Statistics & downloads: |
Abstract page: | 212 | Full-text PDF : | 93 | References: | 31 | First page: | 9 |
|