Priestley configurations and Heyting varieties (Q998769)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Priestley configurations and Heyting varieties |
scientific article |
Statements
Priestley configurations and Heyting varieties (English)
0 references
29 January 2009
0 references
The first two authors showed [Cah. Topol. Géom. Différ. Catég. 45, No.~1, 2--22 (2004; Zbl 1062.06020)] that the class of all Heyting algebras whose Priestley dual contains no copy of a given configuration forms a variety iff the configuration is a tree. The present paper characterizes finitely generated varieties of Heyting algebras given by prohibiting a system of trees in their Priestley duals.
0 references
distributive lattice
0 references
Priestley duality
0 references
Heyting algebra
0 references
variety
0 references