7 citations · 8 across the 4 of their papers we have counts for
12 papers
Formulas and properties
Sergey V. Sudoplatov
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degree…
Definable families of theories, related calculi and ranks
Nurlan Markhabatov, 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 subfami…
Ranks for families of all theories of given languages
Nurlan Markhabatov, Sergey Sudoplatov
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 charac…
Approximations of theories
Sergey Sudoplatov
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 fini…
Ranks for families of theories and their spectra
Sergey Sudoplatov
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 famil…
On freedom and independence in hypergraphs of models of theories
Beibut Kulpeshov, Sergey Sudoplatov
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 st…