Completely representable lattices R Egrot, R Hirsch Algebra universalis 67 (3), 205-217, 2012 | 13 | 2012 |
Representable posets R Egrot Journal of Applied Logic 16, 60-71, 2016 | 6 | 2016 |
Seurat games on Stockmeyer graphs R Egrot, R Hirsch Journal of Graph Theory 99 (2), 278-311, 2022 | 4 | 2022 |
No finite axiomatizations for posets embeddable into distributive lattices R Egrot Annals of Pure and Applied Logic 169 (3), 235-242, 2018 | 4 | 2018 |
Non-elementary classes of representable posets R Egrot Proceedings of the American Mathematical Society 145 (11), 4675-4685, 2017 | 3 | 2017 |
First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth R Egrot, R Hirsch The Journal of Symbolic Logic 87 (3), 1283-1300, 2022 | 2 | 2022 |
A corrected strategy for proving no finite variable axiomatisation exists for RRA R Egrot, R Hirsch arXiv preprint arXiv:2109.01357, 2021 | 2 | 2021 |
Closure operators, frames and neatest representations R Egrot Bulletin of the Australian Mathematical Society 96 (3), 361-373, 2017 | 2 | 2017 |
Order polarities R Egrot Journal of Logic and Computation 30 (3), 785-833, 2020 | 1 | 2020 |
Recursive axiomatizations for representable posets R Egrot International Journal of Algebra and Computation 29 (04), 699-711, 2019 | 1 | 2019 |
Amalgamating poset extensions and generating free lattices R Egrot Order 40 (1), 47-62, 2023 | | 2023 |
Recursive axiomatisations from separation properties R Egrot The Journal of Symbolic Logic, 1-30, 2021 | | 2021 |
Amalgamating poset extensions R Egrot TACL 2019, 79, 2019 | | 2019 |
Categories of frame-completions and join-specifications R Egrot arXiv preprint arXiv:1806.00642, 2018 | | 2018 |
Meet-completions and ordered domain algebras R Egrot, R Hirsch Logic Journal of the IGPL 23 (4), 584-600, 2015 | | 2015 |
MEET-COMPLETIONS AND REPRESENTATIONS OF ORDERED DOMAIN ALGEBRAS R EGROT, R HIRSCH | | |