Algebras with finitely approximable positively representable enrichments
From MaRDI portal
Publication:1119572
DOI10.1007/BF01988315zbMath0672.03031MaRDI QIDQ1119572
Publication date: 1987
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187409
equational theory; algebras with locally finite,; equational definability of positively representable algebras; finitely approximable algebras; finitely approximable and positively representable enrichments; locally finite algebra; positive numberings of
68P05: Data structures
03D80: Applications of computability and recursion theory
08B20: Free algebras
03C05: Equational classes, universal algebra in model theory
03D45: Theory of numerations, effectively presented structures
Cites Work