arXiv subjects
Publications and source records attributed to Sergey Sudoplatov.
We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.
For families of all theories of arbitrary given languages we describe ranks and degrees. In particular, we characterize (non-)totally transcendental families. We apply these characterizations for the families of all theories of given languages, with models of given finite or infinite cardinality.
We define ranks and degrees for families of theories, similar to Morley rank and degree, as well as Cantor-Bendixson rank and degree, and the notion of totally transcendental family of theories. Bounds for $e$-spectra with respect to ranks and degrees are found. It is shown that the ranks and the degrees are preserved under $E$-closures and values for the ranks and the degrees are characterized. Criteria for totally transcendental families in terms of cardinality of $E$-closure and of the $e$-spectrum value, for a countable language, are proved.
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their $e$-spectra are found.
We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types of models of a theory, are given.
Notions of freedom and independence for hypergraphs of models of a theory are defined. Properties of these notions and their applications to some natural classes of theories are studied.
We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for disjoint unions of Ehrenfeucht theories. Decomposition formulas for these distributions are found.
We describe Rudin-Keisler preorders and distribution functions of numbers of limit models for quite o-minimal Ehrenfeucht theories. Decomposition formulas for these distributions are found.
In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general case and for almost countably categorical quite o-minimal theories are established.
We study semi-isolation as a binary relation on the locus of a complete type and prove that under some additional assumptions it induces the strict order property.