Robert Egrot

Available identifiers

Publication	Date of Publication	Type
Seurat games on Stockmeyer graphs	2023-10-04	Paper
Amalgamating poset extensions and generating free lattices	2023-06-26	Paper
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH	2022-08-29	Paper
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES	2021-12-09	Paper
Order polarities	2021-10-21	Paper
A corrected strategy for proving no finite variable axiomatisation exists for RRA	2021-09-03	Paper
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth	2020-08-04	Paper
Recursive axiomatizations for representable posets	2019-07-12	Paper
Recursive axiomatisations from separation properties	2019-06-29	Paper
Meet-completions and ordered domain algebras	2019-01-08	Paper
Categories of frame-completions and join-specifications	2018-06-02	Paper
No finite axiomatizations for posets embeddable into distributive lattices	2018-01-11	Paper
CLOSURE OPERATORS, FRAMES AND NEATEST REPRESENTATIONS	2017-11-07	Paper
Non-elementary classes of representable posets	2017-09-04	Paper
Representable posets	2016-06-30	Paper
Completely representable lattices	2012-05-16	Paper
Preserving meets in meet-dense poset completions	2012-01-16	Paper

This page was built for person: Robert Egrot