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.

Categorìa:Lògica matemàtica