Gry nieskończone: Różnice pomiędzy wersjami

Przypuśćmy, że <math>A\subseteq 2^\omega=\{0,1\}^\omega</math>. Definiujemy grę <math>\Game_D(A)</math> długości &omega; pomiędzy graczami I i II w sposób następujący.: Najpierwnajpierw gracz I wybiera skończony ciąg <math>\nu_0</math> o wartościach w <math>\{0,1\}</math>, poczempotem gracz II odpowiada przez wybór jednej liczby <math>k_0\in \{0,1\}</math>. Ogólniej,: na kroku <math>n\in\omega</math> tej gry, najpierw gracz I wybiera ciąg skończony <math>\nu_n</math> o wartościach w <math>\{0,1\}</math>, a potem gracz II decyduje wartość <math>k_n\in \{0,1\}</math>. Po &omega; krokach gra jest zakończona, a gracze skonstruowali ciąg <math>\langle\nu_n,k_n:n\in\omega\rangle</math>. Decydujemy, że gracz I wygrał tę partię wtedy i tylko wtedy, gdy