MacNeille completions and canonical extensions

  • Gehrke M
  • Harding J
  • Venema Y
37Citations
Citations of this article
14Readers
Mendeley users who have this article in their library.

Abstract

Let V V be a variety of monotone bounded lattice expansions, that is, bounded lattices endowed with additional operations, each of which is order preserving or reversing in each coordinate. We prove that if V V is closed under MacNeille completions, then it is also closed under canonical extensions. As a corollary we show that in the case of Boolean algebras with operators, any such variety V V is generated by an elementary class of relational structures. Our main technical construction reveals that the canonical extension of a monotone bounded lattice expansion can be embedded in the MacNeille completion of any sufficiently saturated elementary extension of the original structure.

Cite

CITATION STYLE

APA

Gehrke, M., Harding, J., & Venema, Y. (2005). MacNeille completions and canonical extensions. Transactions of the American Mathematical Society, 358(2), 573–590. https://doi.org/10.1090/s0002-9947-05-03816-x

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free