3 citations · 9 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2020★ 3 cited
Polynomial-time Tests for Difference Terms in Idempotent Varieties
William DeMeo, Ralph Freese, Matthew Valeriote
We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We…
math.LO2017★ 2 cited
The Commutator as Least Fixed Point of a Closure Operator
William DeMeo
We present a description of the (non-modular) commutator, inspired by that of Kearnes in~\cite[p.~930]{MR1358491}, that provides a simple recipe for computing the commutator.