Geodesic
Families of language uniform theories and their generating sets
The Bulletin of Irkutsk State University. Series Mathematics, Tome 17 (2016), pp. 62-76 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We introduce the notion of language uniform theory and study topological properties related to families of language uniform theory and their $E$-combinations. It is shown that the class of language uniform theories is broad enough. Sufficient conditions for the language similarity of language uniform theories are found. Properties of language domination and of infinite language domination are studied. A characterization for $E$-closure of a family of language uniform theories in terms of index sets is found. We consider the class of linearly ordered families of language uniform theories and apply that characterization for this special case. The properties of discrete and dense index sets are investigated: it is shown that a discrete index set produces a least generating set whereas a dense index set implies at least continuum many accumulation points and the closure without the least generating set. In particular, having a dense index set the theory of the $E$-combination does not have $e$-least models and it is not small. Using the dichotomy for discrete and dense index sets we solve the problem of the existence of least generating set with respect to $E$-combinations and characterize that existence in terms of orders. Values for $e$-spectra of families of language uniform theories are obtained. It is shown that any $e$-spectrum can be realized by $E$-combination of language uniform theories. Low estimations for $e$-spectra relative to cardinalities of language are found. It is shown that families of language uniform theories produce an arbitrary given Cantor-Bendixson rank and given degree with respect to this rank.
Keywords: $E$-combination, $P$-combination, closure operator, generating set, language uniform theory. 
@article{IIGUM_2016_17_a4,
     author = {S. V. Sudoplatov},
     title = {Families of language uniform theories and their generating sets},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {62--76},
     year = {2016},
     volume = {17},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a4/}
}
TY  - JOUR
AU  - S. V. Sudoplatov
TI  - Families of language uniform theories and their generating sets
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2016
SP  - 62
EP  - 76
VL  - 17
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a4/
LA  - en
ID  - IIGUM_2016_17_a4
ER  - 
%0 Journal Article
%A S. V. Sudoplatov
%T Families of language uniform theories and their generating sets
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2016
%P 62-76
%V 17
%U http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a4/
%G en
%F IIGUM_2016_17_a4
S. V. Sudoplatov. Families of language uniform theories and their generating sets. The Bulletin of Irkutsk State University. Series Mathematics, Tome 17 (2016), pp. 62-76. http://geodesic.mathdoc.fr/item/IIGUM_2016_17_a4/

[1] Sudoplatov S. V., “Complete theories with finitely many countable models. II”, Algebra and Logic, 45:3 (2006), 180–200 | DOI | MR | Zbl

[2] Sudoplatov S. V., Group polygonometries, NSTU, Novosibirsk, 2011, 302 pp. (in Russian); 2013 [С. В. Судоплатов, Полигонометрии групп, Изд-во НГТУ, Новосибирск, 2011, 302 с.]; 2013

[3] Sudoplatov S. V., “Models of cubic theories”, Bulletin of the Section of Logic, 43:1–2 (2014), 19–34 | MR | Zbl

[4] Sudoplatov S. V., Classification of Countable Models of Complete Theories, NSTU, Novosibirsk, 2014 (in Russian)

[5] Sudoplatov S. V., Combinations of structures, 2016, 19 pp., arXiv: 1601.00041v1 [math.LO]

[6] Sudoplatov S. V., “Closures and generating sets related to combinations of structures”, Reports of Irkutsk State University. Series “Mathematics”, 16 (2016), 131–144 | MR