8 citations · 25 across the 8 of their papers we have counts for
8 papers · 1 filter
Spherical orders, properties and countable spectra of their theories
Beibut Sh. Kulpeshov, Sergey V. Sudoplatov
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 den…
Arities and aritizabilities of group, monoid and groupoid theories
Inessa I. Pavlyuk, Sergey V. Sudoplatov
We study applications of a general approach for arities and arizabilities of theories to group and monoid theories. It is proved that a theory of a group is aritizable if and o…
Almost -ary and almost -aritizable theories
Sergey V. Sudoplatov
We study possibilities for almost -ary and -aritizable theories. Their dynamics both in general case, for -categorical theories, and with respect to operations for theorie…
Arities and aritizabilities of first-order theories
Sergey V. Sudoplatov
We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compos…
On semilattices and lattices for families of theories
Sergey V. Sudoplatov
We define and study semilattices and lattices for -closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for fam…
Combinations related to classes of finite and countably categorical structures and their theories
Sergey V. Sudoplatov
We consider and characterize classes of finite and countably categorical structures and their theories preserved under -operators and -operators. We describe -spectra and…