The Ramsey and the ordering property for classes of lattices and semilattices

From MaRDI portal
Publication:2279679

DOI10.1007/S11083-018-9478-ZzbMATH Open1443.06002arXiv1802.00979OpenAlexW2963732118MaRDI QIDQ2279679FDOQ2279679

Dragan Mašulović

Publication date: 13 December 2019

Published in: Order (Search for Journal in Brave)

Abstract: The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Soki'c have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.


Full work available at URL: https://arxiv.org/abs/1802.00979





Cites Work


Cited In (2)


   Recommendations





This page was built for publication: The Ramsey and the ordering property for classes of lattices and semilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279679)