2 citations · 2 across the 1 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021★ 2 cited
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…
math.LO2018
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…