Almost free algebras: from the word problem to elimination of quantifiers
Term algebras are important objects in computer science and are correspondingly well-studied. A natural generalization is to quotient these algebras by finitely many ground term equations, obtaining what we call almost free algebras. One of the earliest results on almost free algebras is that their word problem is polynomial time decidable. In this paper, we show that other natural problems: finding canonical representatives; computing the cardinality of a congruence class; checking if all congruence classes are infinite; checking if the algebra is finite; checking if two algebras are…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.23967
curl -X POST /api/v1/records/arxiv/2604.23967/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.23967/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'