Rank-n equivalence of structures

ID: rank-n-equivalence-of-structures

Two first-order structures are rank-n equivalent if they agree on all sentences of quantifier rank at most . The tuple version compares formulas at fixed tuples. For finite relational vocabulary this is equivalent to a Duplicator winning strategy in the -round Ehrenfeucht-Fraïssé game.

New to topics? Read the docs here!