Homomorphisms onto negative algebras

DOI10.1007/BF02259847zbMATH Open0795.03045MaRDI QIDQ1317603FDOQ1317603

N. Kh. Kasymov

Publication date: 12 April 1994

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

approximabilityinfinite abstract data typesinfinite positive algebraslanguage of identitiesnegative algebrasnonconstructive algebrasnumerated algebra

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• 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
• 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

This page was built for publication: Homomorphisms onto negative algebras

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