No finite axiomatizations for posets embeddable into distributive lattices

作者：Egrot Rob^*

来源：Annals of Pure and Applied Logic, 2018, 169(3): 235-242.

DOI：10.1016/j.apal.2017.11.001

• Poset
• Distributive lattice
• Representation
• Field of sets
• Finite axiomatization
• Ultraproduct

Let m and n be cardinals with 3 <= m, n <= omega. We show that the class of posets that can be embedded into a distributive lattice via a map preserving all existing meets and joins with cardinalities strictly less than m and n respectively cannot be finitely axiomatized.

• 出版日期2018-3