Journals
R. Egrot. Amalgamating poset extensions and generating free lattices. Order 40, 47-62, 2023 (ArXiv)
R. Egrot and R. Hirsch. First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth. Journal of Symbolic Logic 87, 1283-1300, 2022 (ArXiV)
R. Egrot and R. Hirsch. Seurat games on Stockmeyer graphs. Journal of Graph Theory 99, 278-311, 2021 (ArXiV)
R. Egrot. Recursive axiomatisations from separation properties. Journal of Symbolic Logic 86, 1228-1258, 2021 (ArXiv)
R. Egrot. Order polarities. Journal of Logic and Computation 30, 785–833, 2020 (ArXiv)
R. Egrot. Recursive axiomatizations for representable posets. International Journal of Algebra and Computation 29, 699-711, 2019 (ArXiv)
R. Egrot. No finite axiomatizations for posets embeddable into distributive lattices. Annals of Pure and Applied Logic 169, 235-242, 2018 (ArXiv)
R. Egrot. Closure operators, frames, and neatest representations. Bulletin of the Australian Mathematical Society 96, 361-373, 2017 (see errata 3) (ArXiv)
R. Egrot. Non-elementary classes of representable posets. Proceedings of the American Mathematical Society 145, 4675-4685, 2017 (ArXiv)
R. Egrot. Representable posets. Journal of Applied Logic 16, 60-71, 2016 (see errata 2) (ArXiv)
R. Egrot and R Hirsch. Meet-completions and ordered domain algebras. Logic Journal of the IGPL 23, 584-600, 2015 (ArXiv)
R. Egrot and R. Hirsch. Completely representable lattices. Algebra Universalis 67, 205-217, 2012 (see errata 1) (ArXiv)
Notes (not currently intended for journal publication)
R. Egrot and R. Hirsch. A corrected strategy for proving no finite variable axiomatisation exists for RRA. (ArXiv )
R. Egrot. Categories of frame-completions and join-specifications (see errata 4). (ArXiv)