Rob Egrot

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 11

Top Topics

Distributive Lattices

Structural Properties

Relation Algebra

Partially Ordered Sets

Top Venues

J. Log. Comput.

University College London, UK (PHD)

Education History

University College London, UK

PHD

Publications

Rob Egrot
Amalgamating Poset Extensions and Generating Free Lattices. Order 40 (1) (2023)
Rob Egrot, Robin Hirsch
First-order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier depth. J. Symb. Log. 87 (3) (2022)
Rob Egrot, Robin Hirsch
Seurat games on Stockmeyer graphs. J. Graph Theory 99 (2) (2022)
Rob Egrot
Recursive Axiomatisations from separation Properties. J. Symb. Log. 86 (3) (2021)
Rob Egrot
Order polarities. J. Log. Comput. 30 (3) (2020)
Rob Egrot
Order polarities. CoRR (2019)
Rob Egrot
Recursive axiomatizations from separation properties. CoRR (2019)
Rob Egrot
Recursive axiomatizations for representable posets. Int. J. Algebra Comput. 29 (4) (2019)
Rob Egrot
No finite axiomatizations for posets embeddable into distributive lattices. Ann. Pure Appl. Log. 169 (3) (2018)
Rob Egrot
Representable posets. J. Appl. Log. 16 (2016)
Rob Egrot, Robin Hirsch
Meet-completions and ordered domain algebras. Log. J. IGPL 23 (4) (2015)