Pages that link to "Item:Q5354466"
From MaRDI portal
The following pages link to Non-elementary classes of representable posets (Q5354466):
Displaying 6 items.
- Representable posets (Q301370) (← links)
- Invariants for classes of indecomposable representations of finite posets (Q1186767) (← links)
- No finite axiomatizations for posets embeddable into distributive lattices (Q1693041) (← links)
- Recursive axiomatizations for representable posets (Q4968237) (← links)
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731) (← links)
- The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable (Q5693111) (← links)