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.
Articles by others on the same topic
There are currently no matching articles.