Priestley configurations and Heyting varieties

Abstract

Heyting varieties determined by prohibition of configurations in corresponding Priestley spaces are studied. A.o., necessary and sufficient condition for a system of configurations to determine a variety is presented (by the way, if such a system contains more than one element, it can contain a cyclic one); the question whether a variety can be thus represented can be decided in a finite number of steps.

Keywords

• Priestley
• configurations
• Heyting
• varieties