Gieugh ëd Banach-Mazur

Ch'as fissa un sot-ansem . Ant la teorìa dj'ansem, ël gieugh ëd Banach-Mazur a l'é 'l gieugh antra doi giudagor, I e II, definì për parèj: ël giugador I a gieuga na sequensa finìa ëd nùmer naturaj; II a rëspond con n'estension pròpia ; peui I a gieuga e via fòrt:
Costa partìa a produv n'element . Si , ël giugador I a vagna; dësnò a vagna II.

Ës gieugh a peul esse codificà tanme un gieugh anté che le mòsse a son ëd nùmer naturaj: ch'as fissa n'enumerassion dle sequense ëd naturaj. Për minca ch'as consìdera la sequensa assossià e ch'as definissa A tanme l'ansem ëd tuti j'element pr'ij quaj o bin a-i é chèich n con ma a l'é pà n'estension pròpia d', opura për tuti j'n e .
Donca, un giugador a l'ha na strategìa ch'a vagna ant ël gieugh ëd Banach-Mazur si e mach si ël midem giugador a l'ha na strategìa ch'a vagna ant ël gieugh . Parèj, sota l'assiòma ëd determinatëssa, ël gieugh ëd Banach-Mazur a resta determinà për tut .

Un-a dj'aplicassion dël gieugh ëd Banach-Mazur a l'é ëd fé vëdde che, sota l'assiòma ëd determinatëssa, minca sot-ansem a l'ha la proprietà ëd Baire.