Robert Egrot

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Seurat games on Stockmeyer graphs Journal of Graph Theory	2023-10-04	Paper
Amalgamating poset extensions and generating free lattices Order	2023-06-26	Paper
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth Journal of Symbolic Logic	2022-08-29	Paper
Recursive axiomatisations from separation properties Journal of Symbolic Logic	2021-12-09	Paper
Order polarities Journal Of Logic And Computation	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 (available as arXiv preprint)	2020-08-04	Paper
Recursive axiomatizations for representable posets International Journal of Algebra and Computation	2019-07-12	Paper
Recursive axiomatisations from separation properties (available as arXiv preprint)	2019-06-29	Paper
Meet-completions and ordered domain algebras Logic Journal of the IGPL	2019-01-08	Paper
Categories of frame-completions and join-specifications	2018-06-02	Paper
No finite axiomatizations for posets embeddable into distributive lattices Annals of Pure and Applied Logic	2018-01-11	Paper
Closure operators, frames and neatest representations Bulletin of the Australian Mathematical Society	2017-11-07	Paper
Non-elementary classes of representable posets Proceedings of the American Mathematical Society	2017-09-04	Paper
Representable posets Journal of Applied Logic	2016-06-30	Paper
Completely representable lattices Algebra Universalis	2012-05-16	Paper
Preserving meets in meet-dense poset completions	2012-01-16	Paper

Research outcomes over time

This page was built for person: Robert Egrot