Problem E gewinnt Formelspiel
Einfache Sprache
Def. Problem E gewinnt Formelspiel
Sei $\phi$ eine Formelspiel. Dann ist $\mathrm{FORMULA\text{-}GAME}$ das Problem ob der Spieler E eine Gewinnstrategie in dem Formelspiel $\phi$ hat. Also
$$\mathrm{FORMULA\text{-}GAME} = \{\langle\phi\rangle\mid \text{Player E hat eine Gewinnstrategie in dem Formelspiel }\phi\}$$