Almost free algebras: from the word problem to elimination of quantifiers

Yifan Jia, Heer Tern Koh, Bakh Khoussainov

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 eq…