MathDB

3

Part of 1992 Miklós Schweitzer

Problems(1)

congruence distributive algebra

Source: miklos schweitzer 1992 q3

10/25/2021
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.
logicabstract algebra