Axiom of Determinacy

Axiom of Determinacy
Name	Axiom of Determinacy
Notation	AD
Field	Set theory
Introduced	1960s
Proponents	Donald A. Martin, John R. Steel
Related	Axiom of Choice, Zermelo–Fraenkel set theory, Projective Determinacy

Axiom of Determinacy The Axiom of Determinacy is an axiom in Set theory that asserts every two-player infinite perfect-information game of length ω with moves in the natural numbers is determined, meaning one player has a winning strategy; it contrasts centrally with the Axiom of Choice and has profound consequences for descriptive set theory, large cardinals, and the structure of definable sets of reals. Introduced and developed by researchers connected to the University of California, Berkeley and the Institute for Advanced Study, it motivated work by Donald A. Martin, John R. Steel, and others bridging determinacy, measurability, and inner model theory.

Definition and formulation

Formally, for a payoff set A ⊆ ω^ω, the axiom states that the game G(A) in which players alternately choose natural numbers produces a sequence x ∈ ω^ω and Player I wins iff x ∈ A has a winning strategy for either Player I or Player II. The statement is typically considered as an axiom added to Zermelo–Fraenkel without the Axiom of Choice (ZF), and is often studied relative to fragments such as Projective Determinacy and variants like Determinacy of Boolean combinations of open sets. Key formulators include David Gale and Frank Stewart, whose early results preceded proofs by Martin for Borel sets and later extensions using techniques from Inner model theory and Large cardinal theory.

Historical background and motivation

Origins trace to the 1950s and 1960s when questions about definable sets of reals led researchers at institutions like Harvard University, Princeton University, and University of California, Berkeley to investigate game-theoretic regularity properties; influential contributors include D. A. Martin, A. S. Kechris, Yiannis N. Moschovakis, and John R. Steel. Martin’s 1975 theorem on Borel determinacy built on work from Hugo Steinhaus-era descriptive set theory and responded to problems posed by researchers at University of California, Los Angeles and in seminars at the Institute for Advanced Study. Motivations included establishing regularity properties such as Lebesgue measurability, the Property of Baire, and the perfect set property for definable sets of reals, connecting to conjectures by Felix Hausdorff and questions in the legacy of Georg Cantor.

Consequences and implications

Assuming the axiom yields strong regularity conclusions: every set of reals is Lebesgue measurable, has the Property of Baire, and satisfies the perfect set property, aligning with results pursued at Princeton University by analysts and set theorists investigating measure and category. Under determinacy, classical hierarchies like the Borel hierarchy and Projective hierarchy collapse in certain regularity senses, and canonical determinacy hypotheses imply uniformization and scale theorems used in work by Martin, Steel, Kurt Gödel-related inner model constructions, and researchers at University of California, San Diego. Consequences also affect cardinal characteristics connected to the Continuum Hypothesis debates championed at conferences like the International Congress of Mathematicians and in correspondence among figures such as Paul Cohen and Georg Cantor-era commentators.

Relations to other axioms and models

The axiom is incompatible with full Axiom of Choice but is consistent with ZF in models constructed using strong hypotheses about Large cardinals such as Woodin cardinals, Measurable cardinals, and Supercompact cardinals; work by Martin and Steel uses inner models akin to those developed in Gödel’s constructible universe context and in analyses related to Mahlon-style combinatorial principles. Relativized forms like Projective Determinacy are equiconsistent with existence of certain large cardinals proved by teams at institutions including Rutgers University and University of California, Berkeley, linking to core model theory advanced by W. Hugh Woodin and collaborators. The axiom also interacts with forcing techniques pioneered by Paul Cohen and later refined by researchers at Institute for Advanced Study and Rutgers University to analyze independence and consistency relative to ZF + large cardinals.

Proofs and consistency results

Major proofs include Martin’s proof of Borel determinacy, which used effective descriptive set theory methods developed by Kechris and Moschovakis, and later consistency proofs showing that determinacy for larger pointclasses follows from existence of iterable inner models with Woodin cardinals and other strong cardinals, results associated with John R. Steel, W. Hugh Woodin, and collaborators at University of California, Berkeley and Rutgers University. Equiconsistency results link Projective Determinacy to existence of finitely many Woodin cardinals and a measurable cardinal, proven using techniques from inner model theory and iteration strategies refined in seminars at Princeton University and the Institute for Advanced Study. Negative consistency results show incompatibility with Choice in its full form, echoing independence phenomena first revealed by Paul Cohen.

Applications in descriptive set theory

Determinacy axioms underpin many structural theorems in descriptive set theory, yielding scale and uniformization theorems used by researchers like Moschovakis, Kechris, and Martin to classify projective sets and prove regularity properties relevant to work at Harvard University and Princeton University. Applications extend to analysis of equivalence relations in the spirit of studies at University of California, Berkeley and to connections with measurable cardinals appearing in research programs at Rutgers University and the Institute for Advanced Study. These tools have been applied to problems concerning definable wellorders, ordinal definability, and canonical models, influencing research trajectories at institutions such as University of Chicago, Yale University, and University of Oxford.

Category:Set theory