congruence distributive algebra
Source: miklos schweitzer 1992 q3
October 25, 2021
logicabstract algebra
Problem Statement
Call a (non-trivial) lattice class a pseudo-variety if it is closed under taking a homomorphic image, a direct product, and a convex subset. Prove that the smallest distributive pseudo-variety cannot be defined by a first-order set of formulas.