3 citations · 9 across the 5 of their papers we have counts for
5 papers
The Agda Universal Algebra Library, Part 1: Foundation
William DeMeo
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type…
The Agda Universal Algebra Library, Part 2: Structure
William DeMeo
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type…
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…
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.
Dedekind's Transposition Principle for lattices of equivalence relations
William DeMeo
We prove a version of Dedekind's Transposition Principle that holds in lattices of equivalence relations.