Search Results - "Kasymov, N. Kh"

Computably Separable Models by Kasymov, N. Kh, Ibragimov, F. N.

“…We provide fundamental results of the structural theory of computably separable models and consider applications of this theory to the theory of effective…”
Get full text

Lower Semilattices of Separable Congruences of Numbered Algebras by Kasymov, N. Kh, Morozov, A. S.

“…Under study are the closure properties for various classes of separable congruences (in particular, of equivalences) of numbered algebras on the natural…”
Get full text

Separable Algorithmic Representations of Classical Systems and their Applications by Kasymov, N. Kh, Dadazhanov, R. N., Ibragimov, F. N.

“…The main results of the theory of separable algorithmic representations of classical algebraic systems are presented. The most important classes of such…”
Get full text

Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences by Dadazhanov, R. N., Kasymov, N. Kh, Khodzhamuratova, I. A.

“…We characterize uniformly computably separable algebras with effectively splittable families of negative congruences and study certain properties similar to…”
Get full text

Topological Spaces Over Algorithmic Representations of Universal Algebras by Kasymov, N. Kh, Khodzhamuratova, I. A.

“…In this paper, we examine topological spaces that can be effectively defined over factor sets modulo equivalences on the set of natural numbers. We formulate a…”
Get full text

Structures of Degrees of Negative Representations of Linear Orders by Kasymov, N. Kh, Dadazhanov, R. N., Djavliev, S. K.

“…The structures of partially ordered sets of degrees of negative and positive representability of linear orders are studied. The focus is on the negative…”
Get full text

Separable Enumerations of Division Rings and Effective Embeddability of Rings Therein by Kasymov, N. Kh, Ibragimov, F. N.

“…We prove the negativity of separable enumerations of division rings and establish that the effective embeddability of a commutative integral domain in a…”
Get full text

T1-Separable Numberings of Subdirectly Indecomposable Algebras by Kasymov, N. Kh, Morozov, A. S., Khodzhamuratova, I. A.

“…We prove the existence of a natural subclass of subdirectly indecomposable algebras all of whose Hausdorff numberings are negative. We also construct a T 1…”
Get full text

Negative Dense Linear Orders by Kasymov, N. Kh, Dadazhanov, R. N.

“…Considering dense linear orders, we establish their negative representability over every infinite negative equivalence, as well as uniformly computable…”
Get full text

Logical Specifications of Effectively Separable Data Models by Kasymov, N. Kh

“…It is established that any effectively separable many-sorted universal algebra has an enrichment that is the only (up to isomorphism) model constructed from…”
Get full text

Homomorphisms onto effectively separable algebras by Kasymov, N. Kh

“…We study variations of the concept of separable enumeration and, basing on that, describe a series of algorithmic and algebraic concepts. In this framework we…”
Get full text

SEPARABLE NUMBERINGS OF SUBDIRECTLY INDECOMPOSABLE ALGEBRAS by Kasymov, N. Kh, Morozov, A.S, Khodzhamuratova, I.A

“…We prove the existence of a natural subclass of subdirectly indecomposable algebras all of whose Hausdorff numberings are negative. We also construct a…”
Get full text

Definability of Linear Orders over Negative Equivalences by Kasymov, N. Kh, Morozov, A. S.

“…We study linear orders definable over negative and positive equivalences and their computable automorphisms. Special attention is paid to equivalences like η (…”
Get full text

Algebras over negative equivalences by Kasymov, N. Kh

Get full text

Positive algebras with congruences of finite index by Kasymov, N. Kh

Get full text

Homomorphisms onto negative algebras by Kasymov, N. Kh

Get full text

The number ofQ-congruences in positive algebras by Kasymov, N. Kh

Get full text

Positive algebras with countable congruence lattices by Kasymov, N. Kh

Get full text

Enumerated algebras with uniformly recursive-separable classes by Kasymov, N. Kh

Get full text

Algebras with finitely approximable positively representable enrichments by Kasymov, N. Kh

Get full text