2 citations · 2 across the 1 of their papers we have counts for
5 papers
A corrected strategy for proving no finite variable axiomatisation exists for RRA
Rob Egrot, Robin Hirsch
We show that if for all finite there is a pair of non-isomorphic finite digraphs satisfying some additional conditions, one of which is that they cannot be distinguished in a c…
Order polarities
Rob Egrot
We define an order polarity to be a polarity where and are partially ordered, and we define an extension polarity to be a triple such that $e_X:P\to…
Categories of frame-completions and join-specifications
Rob Egrot
Given a poset , a join-specification for is a set of subsets of whose joins are all defined. The set of downsets closed under join…
Recursive axiomatizations for representable posets
Rob Egrot
We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation i…
Meet-completions and ordered domain algebras
Rob Egrot, Robin Hirsch
Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expa…