Journal of Symbolic Logic

On canonicity and completions of weakly representable relation algebras

Abstract

We show that the variety of weakly representable relation algebras is neither canonical nor closed under Monk completions.

Article information

Source
J. Symbolic Logic, Volume 77, Issue 1 (2012), 245-262.

Dates
First available in Project Euclid: 20 January 2012

https://projecteuclid.org/euclid.jsl/1327068701

Digital Object Identifier
doi:10.2178/jsl/1327068701

Mathematical Reviews number (MathSciNet)
MR2951639

Zentralblatt MATH identifier
1253.03093

Citation

Hodkinson, Ian; Mikulás, Szabolcs. On canonicity and completions of weakly representable relation algebras. J. Symbolic Logic 77 (2012), no. 1, 245--262. doi:10.2178/jsl/1327068701. https://projecteuclid.org/euclid.jsl/1327068701

References

• H. Andréka Weakly representable but not representable relation algebras, Algebra Universalis, vol. 32(1994), pp. 31–43.
• H. Andréka and D. A. Bredikhin The equational theory of union-free algebras of relations, Algebra Universalis, vol. 33(1995), pp. 516–532.
• H. Andréka, R. Goldblatt, and I. Németi Relativised quantification: Some canonical varieties of sequence-set algebras, Journal of Symbolic Logic, vol. 63(1998), pp. 163–184.
• P. Blackburn, M. de Rijke, and Y. Venema Modal logic, Tracts in Theoretical Computer Science, Cambridge University Press,2001.
• R. Diestel Graph theory, Graduate Texts in Mathematics, vol. 173, Springer-Verlag, Berlin,1997.
• M. Gehrke, J. Harding, and Y. Venema MacNeille completions and canonical extensions, Transactions of the American Mathematical Society, vol. 358(2006), pp. 573–590.
• R. Goldblatt Metamathematics of modal logic, Reports on Mathematical Logic, vol. 6(1976), pp. 41–77, reprinted in [Gol93?].
• –––– Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44(1989), pp. 173–242.
• –––– Mathematics of modality, Lecture notes, vol. 43, CSLI Publications, Stanford, CA,1993.
• –––– Questions of canonicity, Trends in logic: 50 years of Studia Logica (Vincent F. Hendricks and Jacek Malinowski, editors), Kluwer Academic Publishers,2003, pp. 93–128.
• –––– Mathematical modal logic: A view of its evolution, Handbook of the history of logic (D. M. Gabbay and J. Woods, editors), vol. 7, Elsevier, Amsterdam,2006, pp. 1–98.
• M. Haiman Arguesian lattices which are not linear, Bulletin of the American Mathematical Society, vol. 16(1987), pp. 121–123.
• –––– Arguesian lattices which are not type I, Algebra Universalis, vol. 28(1991), pp. 128–137.
• L. Henkin, J. D. Monk, and A. Tarski Cylindric algebras part II, North-Holland,1985.
• R. Hirsch and I. Hodkinson Relation algebras by games, Studies in Logic and the Foundations of Mathematics, vol. 147, North-Holland, Amsterdam,2002.
• R. Hirsch, I. Hodkinson, and R. D. Maddux Weak representations of relation algebras and relational bases, Journal of Symbolic Logic, vol. 76(2011), pp. 870–882.
• I. Hodkinson Atom structures of cylindric algebras and relation algebras, Annals of Pure and Applied Logic, vol. 89(1997), pp. 117–148.
• I. Hodkinson and Sz. Mikulás Non-finite axiomatizability of reducts of algebras of relations, Algebra Universalis, vol. 43(2000), pp. 127–156.
• B. Jónsson Representation of modular lattices and of relation algebras, Transactions of the American Mathematical Society, vol. 92(1959), pp. 449–464.
• B. Jónsson and A. Tarski Boolean algebras with operators I, American Journal of Mathematics, vol. 73(1951), pp. 891–939.
• R. D. Maddux A sequent calculus for relation algebras, Annals of Pure and Applied Logic, vol. 25(1983), pp. 73–101.
• –––– Relation algebras, Studies in Logic and the Foundations of Mathematics, vol. 150, North-Holland, Amsterdam,2006.
• R. McKenzie The representation of relation algebras, Ph.D. thesis, University of Colorado at Boulder,1966.
• J. D. Monk Completions of boolean algebras with operators, Mathematische Nachrichten, vol. 46(1970), pp. 47–55.
• B. Pécsi Weakly representable relation algebras form a variety, Algebra Universalis, vol. 60(2009), pp. 369–380.
• A. M. Robert A course in $p$-adic analysis, Graduate Texts, Springer, New York,2000.
• F. Wolter Properties of tense logics, Mathematical Logic Quarterly, vol. 42(1996), pp. 481–500.