Abstract
In a series of papers, Ball, Pultr, and Sichler studied forbidden configurations in Priestley spaces and Esakia spaces. They showed, among other things, that the class of Heyting algebras whose Esakia spaces contain no copy of a given finite configuration is a variety iff the configuration is a tree. In this short note, we show that such varieties are examples of subframe varieties—the algebraic counterparts of subframe logics introduced by Fine in the 1980s.
Similar content being viewed by others
References
Ball R., Pultr A.: Forbidden forests in Priestley spaces, Cah. Topol. Géom. Différ. Catég. 45, 2–22 (2004)
Ball R., Pultr A., Sichler J.: Configurations in coproducts of Priestley spaces, Appl. Categ. Structures 13, 121–130 (2005)
Ball R., Pultr A., Sichler J.: Combinatorial trees in Priestley spaces, Comment. Math. Univ. Carolin. 46, 217–234 (2005)
Ball R., Pultr A., Sichler J.: More on configurations in Priestley spaces, and some new problems, Appl. Categ. Structures 15, 457–472 (2007)
Ball R., Pultr A., Sichler J.: Tame parts of free summands in coproducts of Priestley spaces, Topology Appl. 156, 2137–2147 (2009)
Ball R., Pultr A., Sichler J.: Finite retracts of Priestley spaces and sectional coproductivity, Algebra Universalis 64, 339–348 (2010)
Bezhanishvili G., Bezhanishvili N.: An algebraic approach to canonical formulas: Intuitionistic case, Rev. Symb. Log. 2, 517–549 (2009)
Bezhanishvili G., Ghilardi S.: An algebraic approach to subframe logics: Intuitionistic case, Ann. Pure Appl. Logic 147, 84–100 (2007)
De Jongh, D.: Investigations on the intuitionistic propositional calculus, PhD thesis, University of Wisconsin (1968)
Esakia L.: Topological Kripke models, Soviet Math. Dokl. 15, 147–151 (1974)
Fine K.: Logics containing K4. II, J. Symbolic Logic 50, 619–651 (1985)
Jankov, V.: On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures, Dokl. Akad. Nauk SSSR 151, 1293–1294 (1963) (Russian)
Jankov V.: The construction of a sequence of strongly independent superintuitionistic propositional calculi, Soviet Math. Dokl. 9, 806–807 (1968)
Priestley H.A.: Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2, 186–190 (1970)
Priestley H.A.: Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. 24, 507–530 (1972)
Zakharyaschev M.: Syntax and semantics of superintuitionistic logics, Algebra and Logic 28, 262–282 (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by P. P. Pálfy.
In memory of Jiri Sichler
Rights and permissions
About this article
Cite this article
Bezhanishvili, G. Forbidden configurations and subframe varieties. Algebra Univers. 76, 237–243 (2016). https://doi.org/10.1007/s00012-016-0402-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0402-3