Homomorphisms onto negative algebras
From MaRDI portal
Publication:1317603
DOI10.1007/BF02259847zbMath0795.03045MaRDI QIDQ1317603
Publication date: 12 April 1994
Published in: Algebra and Logic (Search for Journal in Brave)
approximabilityinfinite abstract data typesinfinite positive algebraslanguage of identitiesnegative algebrasnonconstructive algebrasnumerated algebra
Abstract data types; algebraic specification (68Q65) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (7)
Computably separable models ⋮ Uniformly computably separable algebras with effectively splittable families of negative congruences ⋮ Computability and universal determinability of negatively representable models ⋮ Lower semilattices of separable congruences of numbered algebras ⋮ Topological spaces over algorithmic representations of universal algebras ⋮ Separable algorithmic representations of classical systems and their applications ⋮ Structures of degrees of negative representations of linear orders
Cites Work
This page was built for publication: Homomorphisms onto negative algebras