Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Borel Determinacy Theorem

Logic and Foundations

In descriptive set theory, the Borel determinacy theorem states that any Gale-Stewart game whose payoff set is a Borel set is determined, meaning that one of the two players has a winning strategy for the game. A Gale-Stewart game is a possibly infinite two-player game in which both players have perfect information and no randomness is involved. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Statement Form
Existence Theorem 1
Sources
1. Borel determinacy theorem (Wikipedia)
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.