Axioma de determinidad
Axiom of determinacy
- Fecha
- 1962 · fiabilidad alta
- Lugar
- Breslavia (Wrocław), Polonia
- Autoría
- Hugo Steinhaus y Jan Mycielski
- Ámbito
- Saber y símbolos
Qué se descubrió
Axioma alternativo de la teoría de conjuntos, propuesto por Hugo Steinhaus y Jan Mycielski, que postula que todo juego topológico de dos jugadores de longitud ω está determinado; incompatible con el axioma de elección completo pero fértil en consecuencias para el análisis y la teoría descriptiva de conjuntos.
A qué dio paso
- Desarrollo de la teoría descriptiva de conjuntos moderna
- Estudio de modelos alternativos como L(R)
- Debate sobre axiomas alternativos al axioma de elección