Axiom of determinacy
Axioma de determinidad
- Date
- 1962 · confidence high
- Place
- Wrocław, Poland
- Credited to
- Hugo Steinhaus y Jan Mycielski
- Field
- Knowledge & symbols
What was discovered
Alternative axiom of set theory, proposed by Hugo Steinhaus and Jan Mycielski, stating that every two-player topological game of length ω is determined; incompatible with the full axiom of choice but fruitful for analysis and descriptive set theory.
What it led to
- Development of modern descriptive set theory
- Study of alternative models such as L(R)
- Debate over alternatives to the axiom of choice