A corrected strategy for proving no finite variable axiomatisation exists for RRA

Rob Egrot, Robin Hirsch

We show that if for all finite $c$ 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…