 Borel determinacy theorem

The Borel determinacy theorem is a significant result in set theory, particularly in the context of descriptive set theory. It concerns games played on sets of natural numbers and specifically establishes that certain types of games are determined.