All Questions
2 questions
0
votes
3
answers
139
views
value (element of an algebra), constant, variable, ground and non-ground terms, free algebras : there is a need for clarification
I have been developing an algorithm to compute the congruence defined by a finite set of "generators" and a finite set of equations (in the sense of equational theories). The algorithm ...
- 740
1
vote
0
answers
142
views
A generalization of quasi-identities
In universal algebra, a variety is axiomatized by identities $t \approx s$ between terms $t$ and $s$. More general are quasi-varieties that are axiomatized by quasi-identities of the form $$u_1 \...
- 44.4k