1 paper · 1 filter
Mirai Ikebuchi
Many first-order equational theories, such as the theory of groups or boolean algebras, can be presented by a smaller set of axioms than the original one. Recent studies showed tha…