R. Freese

activity

20202023

most citedPolynomial-time Tests for Difference Terms in Idempotent Varieties

3 citations · 3 across the 3 of their papers we have counts for

collaborators

Showing math.RAShow all

2 papers · 1 filter

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 $p (x, y, z)$ and $q (x, y, z)$ are terms. If there is a common "ancestor" term $s (z_{1}, z_{2}, z_{3}, z_{4})$ specializing to $p$ and $q$ through identifying some variables \begin…