Hintikka-Formel

Für jede Struktur $\mathcal{A}$, ein Tupel $\overline{a}$ und ein $m\in \mathbb{N}$ gibt es eine Formel ${\phi }_{\mathcal{A},\overline{a}}^m$, die den $m$-Isomorphietyp von $(\mathcal{A},\overline{a})$ vollständig beschreibt.
Zwei Tupel erfüllen dieselbe Hintikka-Formel genau dann, wenn sie im EF-Spiel über $m$ Runden nicht unterschieden werden können.