The following pages link to Robert Egrot (Q422346):
Displaying 15 items.
- (Q301369) (redirect page) (← links)
- Representable posets (Q301370) (← links)
- Completely representable lattices (Q422347) (← links)
- No finite axiomatizations for posets embeddable into distributive lattices (Q1693041) (← links)
- CLOSURE OPERATORS, FRAMES AND NEATEST REPRESENTATIONS (Q4589153) (← links)
- Meet-completions and ordered domain algebras (Q4644523) (← links)
- Recursive axiomatizations for representable posets (Q4968237) (← links)
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Order polarities (Q5158364) (← links)
- Non-elementary classes of representable posets (Q5354466) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
- Amalgamating poset extensions and generating free lattices (Q6105030) (← links)
- Recursive axiomatisations from separation properties (Q6321264) (← links)
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth (Q6346442) (← links)
