Banach–Mazur game

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf topological game
gptkbp:field gptkb:logic
gptkb:set_theory
gptkb:topology
gptkbp:goal intersection of chosen sets is nonempty
gptkbp:hasWikipediaPage https://en.wikipedia.org/wiki/Banach%E2%80%93Mazur_game
https://www.w3.org/2000/01/rdf-schema#label Banach–Mazur game
gptkbp:introducedIn 1935
gptkbp:movement choosing nested nonempty open sets
gptkbp:namedAfter gptkb:Stefan_Banach
gptkb:Stanisław_Mazur
gptkbp:numberOfPlayers two
gptkbp:played_for gptkb:topology
gptkbp:relatedTo gptkb:Baire_space
meager set
comeager set
determinacy
winning strategy
gptkbp:usedIn gptkb:descriptive_set_theory
study of Baire category
gptkbp:bfsParent gptkb:Stanislaw_Mazur
gptkb:Stanisław_Mazur
gptkbp:bfsLayer 6