No finite axiomatizations for posets embeddable into distributive lattices

DOI10.1016/j.apal.2017.11.001zbMath1477.06004arXiv1610.00858OpenAlexW2528121602MaRDI QIDQ1693041

Robert Egrot

Publication date: 11 January 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

posetrepresentationfinite axiomatizationfield of setsdistributive latticeultraproduct

Mathematics Subject Classification ID

Partial orders, general (06A06) Structure and representation theory of distributive lattices (06D05) Algebraic aspects of posets (06A11) Ultraproducts and related constructions (03C20) Applications of model theory (03C98)

Related Items (4)

CLOSURE OPERATORS, FRAMES AND NEATEST REPRESENTATIONS ⋮ Non-elementary classes of representable posets ⋮ Recursive axiomatizations for representable posets ⋮ RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES

Cites Work

• Representable posets
• The class of prime semilattices is not finitely axiomatizable
• Embedding ordered sets into distributive lattices
• On the definition of distributive semilattices
• On the representation of α-complete lattices
• The point of pointless topology
• Non-elementary classes of representable posets
• A Representation Theory for Prime and Implicative Semilattices

This page was built for publication: No finite axiomatizations for posets embeddable into distributive lattices