|
This article is cited in 3 scientific papers (total in 4 papers)
Countable infinite existentially closed models of universally axiomatizable theories
A. T. Nurtazin Al-Farabi Kazakh National University, Almaty, Kazakhstan
Abstract:
In the present article, we obtain a new criterion for a model of a universally axiomatizable theory to be existentially closed. The notion of a maximal existential type is used in the proof and for investigating properties of countable infinite existentially closed structures. The notions of a prime and a homogeneous model, which are classical for the general model theory, are introduced for such structures. We study universal theories with the joint embedding property admitting a single countable infinite existentially closed model. We also construct, for every natural $n$, an example of a complete inductive theory with a countable infinite family of countable infinite models such that $n$ of them are existentially closed and exactly two are homogeneous.
Key words:
universal and existential formulas (sentences), existentially closed structure, elementarily closed structure, countable infinite structure, isomorphic embedding (extension), elementary embedding (extension).
Received: 14.02.2014
Citation:
A. T. Nurtazin, “Countable infinite existentially closed models of universally axiomatizable theories”, Mat. Tr., 18:1 (2015), 48–97; Siberian Adv. Math., 26:2 (2016), 99–125
Linking options:
https://www.mathnet.ru/eng/mt286 https://www.mathnet.ru/eng/mt/v18/i1/p48
|
Statistics & downloads: |
Abstract page: | 313 | Full-text PDF : | 151 | References: | 46 | First page: | 11 |
|