No finite axiomatizations for posets embeddable into distributive lattices
From MaRDI portal
Publication:1693041
DOI10.1016/j.apal.2017.11.001zbMath1477.06004arXiv1610.00858OpenAlexW2528121602MaRDI QIDQ1693041
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
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