COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS
From MaRDI portal
Publication:5316305
DOI10.1142/S0218196705002281zbMath1096.03050MaRDI QIDQ5316305
Bakhadyr Khoussainov, Theodore A. Slaman, Steffen Lempp
Publication date: 12 September 2005
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
congruence relationsimmune setslocally finite algebrascomputable isomorphism typescomputable algebrascomputably enumerable algebras
Related Items
Reducibilities among equivalence relations induced by recursively enumerable structures, On computably enumerable structures, \(\Pi^0_1\)-presentations of algebras, Graphs realised by r.e. equivalence relations
Cites Work