activity
20152021
most citedA corrected strategy for proving no finite variable axiomatisation exists for RRA

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing math.RAShow all

2 papers · 1 filter

math.RA2018

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…

math.RA2015

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…