Isomorphism relations on classes of c.e. algebras
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.13005
curl -X POST /api/v1/records/arxiv/2601.13005/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.13005/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'