Axiom skutečné determinace - Axiom of real determinacy

v matematika, axiom skutečné determinace (ve zkratce INZERÁTR) je axiom v teorie množin. Uvádí následující:

Axiom — Zvažte nekonečné dvě osoby hry s perfektní informace. Pak každá dlouhá hra ω kde si oba hráči vyberou reálná čísla je určen, tj. jeden ze dvou hráčů má a vítězná strategie.

Axiom skutečné determinace je silnější verzí axiom determinovanosti (AD), který dělá stejné prohlášení o hrách, kde si oba hráči vyberou celá čísla; INZERÁTR je nekonzistentní s axiom volby. To také znamená existenci vnitřní modely s jistotou velcí kardinálové.

INZERÁTR je ekvivalentní k AD plus axiom uniformizace.

Viz také