Gieugh dl'ansem përfet

Stamp:Prinsipi An teorìa descritiva dj'ansem, ël gieugh dl'ansem përfet a l'é ël gieugh antra doi giugador (I e II), a anformassion completa ch'as dësrola parèj: as fissa un sot-ansem X ëd $2^{\mathbb{N}}$; ël giugador I a gieuga na sequensa binaria finìa $s_0\in 2^{<\omega }$ e II a-j rëspond an sernend $n_0\in 2$. Ël gieugh a va anans a mòsse alternà: cand ch'a toca a chiel, I a gieuga na sequensa binaria finìa $s_i$ e II a-j rëspond con $n_i=0$ o $n_i=1$.
Si $x=s_0{n}_0{s}_1{n}_1\dots$ a l'é la concatenassion ëd tute le mòsse, I a vagna la partìa si $x\in X$, dësnò a l'é II ch'a vagna.

Ës gieugh a peul esse codificà tanme an gieugh an sij nùmer naturaj. Stamp:Fin