Source author record

Sergey V. Sudoplatov

Sergey V. Sudoplatov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO

Catalog footprint

What is connected

11works

1topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint

Fields this researcher appears in

math.LO

Source provenance

Where this author record came from

No provenance records are attached yet.

1 works

Beibut Sh. Kulpeshov

Researcher

Beibut Sh. Kulpeshov contributes to research discovery and scholarly infrastructure.

Open to collaborate

1 works

Ilya V. Shulepov

Researcher

Ilya V. Shulepov contributes to research discovery and scholarly infrastructure.

Open to collaborate

1 works

Roman A. Popkov

Researcher

Roman A. Popkov contributes to research discovery and scholarly infrastructure.

Open to collaborate

Sergey V. Sudoplatov

What is connected

Connect this record

See the researcher in context

Building this map preview

11 published item(s)

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