Enumerated algebras with uniformly recursive-separable classes

DOI10.1007/BF00971403MaRDI QIDQ1335938zbMATH OpenFDO

Authors N. Kh. Kasymov

Publication date 8 November 1994

Published in Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

abstract data typesequivalence relationsconstructive modelsenumerated algebrasrecursive separation

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Abstract data types; algebraic specification (68Q65)

Recommendations

• Recursively separable enumerated algebras
• Homomorphisms onto effectively separable algebras
• scientific article; zbMATH DE number 4143960
• On Some Problems Related to Enumerated Types of Algebras
• scientific article; zbMATH DE number 4053598

Cited in

(13)

• scientific article; zbMATH DE number 58056 (Why is no real title available?)
• Homomorphisms onto effectively separable algebras
• Lower semilattices of separable congruences of numbered algebras
• Separable algorithmic representations of classical systems and their applications
• Computably separable models
• Logical specifications of effectively separable data models
• Uniformly computably separable algebras with effectively splittable families of negative congruences
• Computably separable numbering of locally finitely separable algebras
• Structures of degrees of negative representations of linear orders
• Topological spaces over algorithmic representations of universal algebras
• Computability and universal determinability of negatively representable models
• On the algebra of enumeration operators
• On Some Problems Related to Enumerated Types of Algebras

This page was built for publication: Enumerated algebras with uniformly recursive-separable classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1335938)