{"id":"arxiv/2601.13005","url":"https://arxiv.org/abs/2601.13005","tags":["math.LO"],"score":0,"title":"Isomorphism relations on classes of c.e. algebras","domain":"math.LO","source":"arxiv","authors":["Meng-Che \"Turbo\" Ho","Martin Ritter","Luca San Mauro"],"reviews":0,"subject":"math.LO","summary":"We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets of generators by c.e. congruences. Our goal is to develop a systematic framework for analyzing such isomorphism problems from a computability-theoretic perspective. To compare their complexity, we employ the notion of computable reducibility, measuring these relations against canonical benchmarks on c.e. sets, such as =^{ce}, E_0^{ce}, and the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-19","reactions":{}}