Abstract
It is known that a lattice is representable as a ring of sets iff the lattice is distributive. CRL is the class of bounded distributive lattices (DLs) which have representations preserving arbitrary joins and meets. jCRL is the class of DLs which have representations preserving arbitrary joins, mCRL is the class of DLs which have representations preserving arbitrary meets, and biCRL is defined to be \({{\bf jCRL} \cap {\bf mCRL}}\) . We prove
where the marked inclusions are proper.
Let L be a DL. Then \({L \in {\bf mCRL}}\) iff L has a distinguishing set of complete, prime filters. Similarly, \({L \in {\bf jCRL}}\) iff L has a distinguishing set of completely prime filters, and \({L \in {\bf CRL}}\) iff L has a distinguishing set of complete, completely prime filters.
Each of the classes above is shown to be pseudo-elementary, hence closed under ultraproducts. The class CRL is not closed under elementary equivalence, hence it is not elementary.
Similar content being viewed by others
References
Birkhoff G.: On the combination of subalgebras. Proc. Camb. Math. Soc. 29, 441–464 (1933)
Birkhoff G., Frink O. Jr.: Representations of lattices by sets. Trans. Amer. Math. Soc. 64, 299–316 (1948)
Chang C., Keisler H.: Model Theory, 3rd edn. North-Holland, Amsterdam (1990)
Crawley P., Dilworth R.: Algebraic Theory of Lattices. Prentice Hall, Englewood Cliffs (1973)
Gehrke M., Jónsson B.: Bounded distributive lattice expansions. Math. Scand. 94, 13–45 (2004)
Hirsch R., Hodkinson I.: Complete representations in algebraic logic. J. Symbolic Logic 62, 816–847 (1997)
Hirsch R., Hodkinson I.: Relation Algebras by Games. North-Holland, Amsterdam (2002)
Hodges W.: Model Theory. Cambridge University Press, Cambridge (1993)
Roman S.: Lattices and Ordered Sets. Springer, New York (2008)
Sikorski R.: Boolean Algebras, 3rd edn. Springer, Berlin (1969)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by F. Wehrung.
Rights and permissions
About this article
Cite this article
Egrot, R., Hirsch, R. Completely representable lattices. Algebra Univers. 67, 205–217 (2012). https://doi.org/10.1007/s00012-012-0181-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-012-0181-4