Abstract
Let P be a configuration, i.e., a finite poset with top element. Let Forb(P) be the class of bounded distributive lat- tices L whose Priestley space P(L) contains no copy of P.W e show that the following are equivalent: Forb(P) is first-order de- finable, i.e., there is a set of first-order sentences in the language of bounded lattice theory whose satisfaction characterizes member- ship in Forb(P); P is coproductive, i.e., P embeds in a coproduct of Priestley spaces iff it embeds in one of the summands; P is a tree. In the restricted context of Heyting algebras, these conditions are also equivalent to ForbH(P) being a variety, or even a quasivariety.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.