Homomorphisms onto negative algebras
From MaRDI portal
Publication:1317603
DOI10.1007/BF02259847zbMATH Open0795.03045MaRDI QIDQ1317603FDOQ1317603
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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Abstract data types; algebraic specification (68Q65)
Cites Work
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)