Non-elementary classes of representable posets

DOI10.1090/proc/13636zbMath1423.06010arXiv1607.04990OpenAlexW3103937443MaRDI QIDQ5354466

Robert Egrot

Publication date: 4 September 2017

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

posetrepresentationultrapoweraxiomatization

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Algebraic aspects of posets (06A11) Ultraproducts and related constructions (03C20)

Related Items (3)

No finite axiomatizations for posets embeddable into distributive lattices ⋮ Recursive axiomatizations for representable posets ⋮ RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES

Cites Work

• Representable posets
• Completely representable lattices
• Model theory.
• The class of prime semilattices is not finitely axiomatizable
• No finite axiomatizations for posets embeddable into distributive lattices
• On the definition of distributive semilattices
• Characterizations for Prime Semilattices
• On the representation of α-complete lattices
• On Prime Semilattices
• A Representation Theory for Prime and Implicative Semilattices
• Boolean Rings with Isomorphisms Preserving Suprema and Infima
• Applications of the Theory of Boolean Rings to General Topology

This page was built for publication: Non-elementary classes of representable posets