No finite axiomatizations for posets embeddable into distributive lattices
Abstract
Let m and n be cardinals with 3≤ m,n≤ω. 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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.