scientific article
From MaRDI portal
Publication:3809790
zbMath0661.03038MaRDI QIDQ3809790
Publication date: 1987
Full work available at URL: https://eudml.org/doc/187409
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational theoryequational definability of positively representable algebraslocally finite algebraalgebras with locally finite, finitely approximable and positively representable enrichmentspositive numberings of finitely approximable algebras
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 (13)
Positive algebras with countable congruence lattices ⋮ Computably separable models ⋮ Randnomness, computability, and algebraic specifications ⋮ Finitely presented expansions of computably enumerable semigroups ⋮ Classifying word problems of finitely generated algebras via computable reducibility ⋮ Computability and universal determinability of negatively representable models ⋮ Separable algorithmic representations of classical systems and their applications ⋮ On positive enumarated models ⋮ Positive algebras with congruences of finite index ⋮ \(\Pi^0_1\)-presentations of algebras ⋮ Structures of degrees of negative representations of linear orders ⋮ Homomorphisms onto negative algebras ⋮ The number of \(Q\)-congruences in positive algebras
This page was built for publication:
