Priestley configurations and Heyting varieties (Q998769)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Priestley configurations and Heyting varieties |
scientific article; zbMATH DE number 5500515
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Priestley configurations and Heyting varieties |
scientific article; zbMATH DE number 5500515 |
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
0.8806987
0 references
0.87083966
0 references
0.8592242
0 references
0.85298055
0 references
0.8517375
0 references
0.8501595
0 references
0.85007924
0 references
0.8499485
0 references
