Order-invariant cluster first-order logic on graph classes of bounded degree

Fatemeh Ghasemi, Julien Grange

We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant fo…