Source author record

Sergey V. Sudoplatov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

11works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Spherical orders, properties and countable spectra of their theories

We study semantic and syntactic properties of spherical orders and their elementary theories, including finite and dense orders and their theories. It is shown that theories of dense $n$ -spherical orders are countably categorical and decidable. The values for spectra of countable models of unary expansions of $n$ -spherical theories are described. The Vaught conjecture is confirmed for countable constant expansions of dense $n$ -spherical theories.

preprint2017arXiv

Combinations related to classes of finite and countably categorical structures and their theories

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$ -operators and $P$ -operators. We describe $e$ -spectra and families of finite cardinalities for structures belonging to closures with respect to $E$ -operators and $P$ -operators.

preprint2017arXiv

On semilattices and lattices for families of theories

We define and study semilattices and lattices for $E$ -closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are distributive.

preprint2017arXiv

Relative e-spectra and relative closures for families of theories

We define the notions of relative $e$ -spectra, with respect to $E$ -operators, relative closures, and relative generating sets. We study properties connected with relative $e$ -spectra and relative generating sets.

preprint2016arXiv

Closures and generating sets related to combinations of structures

We investigate closure operators and describe their properties for $E$ -combinations and $P$ -combinations of structures and their theories. We prove, for $E$ -combinations, that the existence of a minimal generating set of theories is equivalent to the existence of the least generating set, and characterize syntactically and semantically the property of the existence of the least generating set. For the class of linearly ordered language uniform theories we solve the problem of the existence of least generating set with respect to $E$ -combinations and characterize that existence in terms of orders.

preprint2016arXiv

Combinations of structures

We investigate combinations of structures by families of structures relative to families of unary predicates and equivalence relations. Conditions preserving $ω$ -categoricity and Ehrenfeuchtness under these combinations are characterized. The notions of $e$ -spectra are introduced and possibilities for $e$ -spectra are described.

preprint2013arXiv

Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories

We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories.

preprint2013arXiv

Forcing of infinity and algebras of distributions of binary semi-isolating formulas for strongly minimal theories

We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.

preprint2012arXiv

Algebras of distributions for binary semi-isolating formulas of a complete theory

We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a set of labels for binary semi-isolating formulas on a set of realizations for a 1-type forms a monoid of a special form with a partial order inducing ranks for labels, with set-theoretic operations, and with a composition. We describe the class of these structures. A description of the class of structures relative to families of 1-types is given.

preprint2012arXiv

Algebras of distributions of binary isolating formulas of a complete theory

We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for binary isolating formulas on a set of realizations for a 1-type p forms a groupoid of a special form if there is an atomic model over a realization of p. We describe the class of these groupoids and consider features of these groupoids in a general case and for special theories. A description of the class of partial groupoids relative to families of 1-types is given.

preprint2012arXiv

Distributions of countable models of theories with continuum many types

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and over sequences of types, and for other countable models of theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Sergey V. Sudoplatov

Research overview

Is this your work?

11 publications

Spherical orders, properties and countable spectra of their theories

Combinations related to classes of finite and countably categorical structures and their theories

On semilattices and lattices for families of theories

Relative e-spectra and relative closures for families of theories

Closures and generating sets related to combinations of structures

Combinations of structures

Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories

Forcing of infinity and algebras of distributions of binary semi-isolating formulas for strongly minimal theories

Algebras of distributions for binary semi-isolating formulas of a complete theory

Algebras of distributions of binary isolating formulas of a complete theory

Distributions of countable models of theories with continuum many types

See the researcher in context

Building this map preview