En matemáticas , el axioma de determinabilidad real (abreviado como ADR ) es un axioma de la teoría de conjuntos . [1] Dice lo siguiente:
Axioma : considere infinitos juegos de dos personas con información perfecta . Luego, se determina cada juego de duración ω donde ambos jugadores eligen números reales , es decir, uno de los dos jugadores tiene una estrategia ganadora .
El axioma de determinabilidad real es una versión más fuerte del axioma de determinabilidad (AD), que hace la misma afirmación sobre juegos en los que ambos jugadores eligen números enteros ; ADR es inconsistente con el axioma de elección . Implica también la existencia de modelos interiores con ciertos cardinales grandes .
AD R es equivalente a AD más el axioma de uniformización .