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 will have a winning strategy for the game. A Gale–Stewart game is a possibly infinite two-player game, where both players have perfect information and no randomness is involved.
The theorem is a far reaching generalization of Zermelo's theorem about the determinacy of finite games. It was proved by Donald A. Martin in 1975, and is applied in descriptive set theory to show that Borel sets in Polish spaces have regularity properties such as the perfect set property.
The theorem is also known for its metamathematical properties. In 1971, before the theorem was proved, Harvey Friedman showed that any proof of the theorem in Zermelo–Fraenkel set theory must make repeated use of the axiom of replacement. Later results showed that stronger determinacy theorems cannot be proven in Zermelo–Fraenkel set theory, although they are relatively consistent with it, if certain large cardinals are consistent.
and 23 Related for: Borel determinacy theorem information
In descriptive set theory, the Boreldeterminacytheorem states that any Gale–Stewart game whose payoff set is a Borel set is determined, meaning that...
game) determinacy for a boldface pointclass implies Blackwell determinacy for the pointclass. This, combined with the Boreldeterminacytheorem of Martin...
2n-th Suslin cardinal is equal to δ1 2n−1. Axiom of real determinacy (ADR) Boreldeterminacytheorem Martin measure Topological game Mycielski, Jan; Steinhaus...
replacement is required to show that Borel games are determined. The proven result is Donald A. Martin's Boreldeterminacytheorem. ZF with replacement proves...
projective determinacy, all projective sets have both the perfect set property and the property of Baire. This is related to the fact that ZFC proves Borel determinacy...
Lebesgue measure 0. If the axiom of determinacy holds then all sets of reals are Lebesgue-measurable. Determinacy is however not compatible with the axiom...
Borel hierarchy is a stratification of the Borel algebra generated by the open subsets of a Polish space; elements of this algebra are called Borel sets...
this chapter, and the proof in it by Donald A. Martin of the Boreldeterminacytheorem, as central for Kanamori, "a triumph for the theory he presents"...
theorem for random fractals". Mathematics. 10 (5): 706. doi:10.3390/math10050706. hdl:1807/110291. Leinster, Tom (23 July 2021). "BorelDeterminacy Does...
recursion, ∆0 2 determinacy, and the ∆1 1 Ramsey theorem are all equivalent to each other. Over RCA0, Σ1 1 monotonic induction, Σ0 2 determinacy, and the Σ1...
Borel sets can be established in ZFC, but proving these properties hold for more complicated sets requires additional axioms related to determinacy and...
Universally measurable set Determinacy AD+ Axiom of determinacy Axiom of projective determinacy Axiom of real determinacy Empty set Forcing (mathematics)...
G_{S}} in which S {\displaystyle S} is a Borel subset of Baire space is determined. Measure theory The Vitali theorem on the existence of non-measurable sets...
for n = 2), where determinacy of such games was proven. The Knaster–Tarski theorem leads to a relatively simple proof of determinacy of parity games. Moreover...
Universally measurable set Determinacy AD+ Axiom of determinacy Axiom of projective determinacy Axiom of real determinacy Empty set Forcing (mathematics)...
Sometimes also called "rudimentary set theory". BC Berkeley cardinal BD Boreldeterminacy Berkeley cardinal A Berkeley cardinal is a cardinal κ in a model of...
example to sets of ordinal numbers or cardinal numbers. Its correctness is a theorem of ZFC. Let P ( α ) {\displaystyle P(\alpha )} be a property defined for...
Existence of 0# Singular cardinals hypothesis Projective determinacy (and even the full axiom of determinacy if the axiom of choice is not assumed) There are...
The number of elements in each equivalence class is the natural number n. Borel equivalence relation Cluster graph – Graph made from disjoint union of complete...
principles and theorems from set theory and real analysis. Strong set-theoretic principles may be stated in terms of the determinacy of various pointclasses...
Descriptive Set Theory, Springer-Verlag. T. Jech, "The Brave New World of Determinacy" (PDF download). Bulletin of the American Mathematical Society, vol....
\Gamma } has the property of Baire. Therefore, it follows from projective determinacy, which in turn follows from sufficient large cardinals, that every projective...