Priestley configurations and Heyting varieties

• Autores: Richard N. Ball, Ales Pultr , Jiri Sichler
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 59, Nº. 1-2, 2008, págs. 31-47
• Idioma: inglés
• DOI: 10.1007/s00012-008-2035-7
• Texto completo no disponible (Saber más ...)
• Resumen

  • We investigate Heyting varieties determined by prohibition of systems of configurations in Priestley duals; we characterize the configuration systems yielding such varieties. On the other hand, the question whether a given finitely generated Heyting variety is obtainable by such means is solved for the special case of systems of trees.