En matemáticas , el axioma de determinación real (abreviado como AD R ) es un axioma de la teoría de conjuntos . [1] Establece lo siguiente:
Axioma : Considérense juegos infinitos de dos personas con información perfecta . Entonces, cada juego de duración ω donde ambos jugadores eligen números reales está determinado, es decir, uno de los dos jugadores tiene una estrategia ganadora .
El axioma de determinación real es una versión más fuerte del axioma de determinación (AD), que hace la misma afirmación sobre los juegos en los que ambos jugadores eligen números enteros ; AD R es incompatible con el axioma de elección . También implica la existencia de modelos internos con ciertos cardinales grandes .
AD R es equivalente a AD más el axioma de uniformización .