This article is cited in 20 papers

Enumerated algebras with uniformly recursive-separable classes

N. Kh. Kasymov


Abstract: We study properties of enumerated algebras with uniformly recursive-separable classes of the enumerating equivalence. We provide characterization for such algebras in terms of their uniformly effective homomorphisms onto negative algebras. Examples of positive algebras with uniformly recursive-separable classes are given which solve some problems of the theory of constructive models and abstract data types.

UDC: 510.67:512.57:519.68

Received: 04.12.1992

 English version: Siberian Mathematical Journal, 1993, 34:5, 869–882

Bibliographic databases:

• 
• 
•