Abstract
The $2$-crown can appear in a coproduct of Priestley spaces without appearing in any of the summand. Consequenly, the corresponding class of bounded distributive lattices is not first order definable.
The $2$-crown can appear in a coproduct of Priestley spaces without appearing in any of the summand. Consequenly, the corresponding class of bounded distributive lattices is not first order definable.