Satz von Ehrenfeucht

Ein zentraler Satz, der die Brücke zwischen Spieltheorie und Logik schlägt:
Die Duplikatorin hat eine Gewinnstrategie im Spiel ${\mathfrak{G}}_m(\mathcal{A},\mathcal{B})$ genau dann, wenn $\mathcal{A}$ und $\mathcal{B}$ $m$-äquivalent sind.