1 paper
Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe
Order-invariant formulas access an ordering on a structure's universe, but the model relation is independent of the used ordering. Order invariance is frequently used for logic-bas…