Order invariance

Order-invariant queries ★★

Author(s): Segoufin

Question
\item Does hold over graphs of bounded tree-width? \item Is included in over graphs? \item Does have a 0-1 law? \item Are properties of Hanf-local? \item Is there a logic (with an effective syntax) that captures ?