Abstract
We give an example of a variety of Heyting algebras and of a splitting algebra in this variety that is not finitely presentable. Moreover, we show that the corresponding splitting pair cannot be defined by any finitely presentable algebra. Also, using the Gödel-McKinsey-Tarski translation and the Blok-Esakia theorem, we construct a variety of Grzegorczyk algebras with similar properties.
Similar content being viewed by others
References
Balbes R., Horn A.: ‘Injective and projective Heyting algebras’. Trans. Amer. Math. Soc. 148, 549–559 (1970)
Bezhanishvili, N., Lattices of intermediate and cylindric modal logics, Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2006.
Blok, W. J., Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, 1976.
Blok W.J., Dwinger Ph.: ‘Equational classes of closure algebras. I’, Indag. Math. 37, 189–198 (1975)
Blok W.J., Pigozzi D.: ‘On the structure of varieties with equationally definable principal congruences. I’, Algebra Universalis 15(2), 195–227 (1982)
Chagrov, A., and M. Zakharyaschev, Modal logic, vol. 35 of Oxford Logic Guides, The Clarendon Press Oxford University Press, New York, 1997. Oxford Science Publications.
Esakia L.L.: ‘Topological Kripke models’. Dokl. Akad. Nauk SSSR 214, 298–301 (1974) In Russian
Esakia, L. L., ‘On modal companions of superintuitionistic logics’, in VII Soviet Symposium on Logic (Kiev, 1976), 1976, pp. 135 –136. In Russian.
Esakia, L. L., ‘On the variety of Grzegorczyk algebras’, in Studies in nonclassical logics and set theory, “Nauka”, Moscow, 1979, pp. 257–287. In Russian.
Esakia, L. L., Heyting Algebras I, Duality Theory, “Metsniereba”, Tbilisi, 1985. In Russian.
Gabbay D.M., Maksimova L.: Interpolation and definability. The Clarendon Press, Oxford (2005)
Grätzer G.: General lattice theory. Birkhäuser Verlag, Basel (2003)
Jankov V.A.: ‘Conjunctively irresolvable formulae in propositional calculi’. Izv. Akad. Nauk SSSR Ser. Mat. 33, 18–38 (1969)
Kracht M.: ‘An almost general splitting theorem for modal logic’. Studia Logica 49(4), 455–470 (1990)
Kracht, M., Tools and techniques in modal logic, vol. 142 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1999.
Kuznetsov, A. V., ‘On finitely generated pseudo-boolean algebrasand finitely approximable varieties’, in Proceedings of the 12th USSR Algebraic Colloquium, Sverdlovsk, 1973, p. 281. In Russian.
Kuznetsov A. V., Gerčiu V. Ja.: ‘The superintuitionistic logics and finitary approximability’. Dokl. Akad. Nauk SSSR 195, 1029–1032 (1970) In Russian
Maksimova L.L., Rybakov V.V.: ‘The lattice of normal modal logics’. Algebra i Logika 13, 188–216 (1974)
Mal’cev, A. I., Algebraic systems, Die Grundlehren der mathematischen Wissenschaften. Band 192. Berlin-Heidelberg-New York: Springer-Verlag; Berlin: Akademie-Verlag. XII, 317 p., 1973.
Rasiowa, H., and R. Sikorski, The mathematics of metamathematics, third edn., PWN - Polish Scientific Publishers, Warsaw, 1970. Monografie Matematyczne, Tom 41.
Troelstra A.S.: ‘On intermediate propositional logics’. Indag. Math. 27, 141–152 (1965)
Wroński A.: ‘Intermediate logics and the disjunction property’. Rep. Math. Logic 1, 39–51 (1973)
Author information
Authors and Affiliations
Corresponding author
Additional information
In memoriam of Leo Esakia
Rights and permissions
About this article
Cite this article
Citkin, A. Not Every Splitting Heyting or Interior Algebra is Finitely Presentable. Stud Logica 100, 115–135 (2012). https://doi.org/10.1007/s11225-012-9391-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9391-1