The Axiom of Real Determinacy (AD) is a principle from set theory and logic, particularly in the context of infinite games and infinite sequences of real numbers. It states that for any infinite two-player game where players alternately choose natural numbers (or digits in the decimal representation), and where the outcome of the game can be represented as an infinite sequence of real numbers, one of the players has a winning strategy.
Articles by others on the same topic
There are currently no matching articles.