{"id":"arxiv/2604.23967","url":"https://arxiv.org/abs/2604.23967","tags":["math.LO"],"score":0,"title":"Almost free algebras: from the word problem to elimination of quantifiers","domain":"math.LO","source":"arxiv","authors":["Yifan Jia","Heer Tern Koh","Bakh Khoussainov"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}