Algebras with finitely approximable positively representable enrichments

DOI10.1007/BF01988315zbMath0672.03031OpenAlexW2077201320MaRDI QIDQ1119572

N. Kh. Kasymov

Publication date: 1987

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

Full work available at URL: https://eudml.org/doc/187409

zbMATH Keywords

equational theoryalgebras with locally finite,equational definability of positively representable algebrasfinitely approximable algebrasfinitely approximable and positively representable enrichmentslocally finite algebrapositive numberings of

Mathematics Subject Classification ID

Data structures (68P05) Applications of computability and recursion theory (03D80) Free algebras (08B20) Equational classes, universal algebra in model theory (03C05) Theory of numerations, effectively presented structures (03D45)

Related Items

Uniformly computably separable algebras with effectively splittable families of negative congruences, Lower semilattices of separable congruences of numbered algebras, Topological spaces over algorithmic representations of universal algebras, Degrees of Word Problem for Algebras Without Finitely Presented Expansions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item