3 citations · 3 across the 3 of their papers we have counts for
3 papers
math.RA2023
Finitely Based Congruence Varieties
Ralph Freese, Paolo Lipparini
We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.
math.RA2021
Free-lattice functors weakly preserve epi-pullbacks
H. Peter Gumm, Ralph Freese
Suppose and are terms. If there is a common "ancestor" term specializing to and through identifying some variables \begin…
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…