Gerçek belirli olmasıyla Axiom - Axiom of real determinacy

Gelen matematik , gerçek belirlilik aksiyomu (olarak kısaltılmıştır AD R ) bir olduğu aksiyomu olarak grubu teorisi . Bu şöyle demektedir:

Axiom  -  Sonsuz iki kişilik düşünün oyunlar ile mükemmel bilgiler . Ardından, uzunluk her oyun w iki oyuncunun seçim gerçek sayılar yani belirlenir, iki oyunculardan biri bir sahiptir kazanma stratejisi .

Gerçek belirlilik beliti daha güçlü bir versiyonu belirli olmasıyla aksiyomuna iki oyuncunun seçim oyunları hakkında aynı ifadeyi yapar (AD), tamsayılar ; AD R ise tutarsız ile seçim belitinin . Aynı zamanda varlığını ima iç modelleri belli olan büyük kardinaller .

MS R, AD artı eşdeğerdir Bir örnekleme aksiyomu .

Ayrıca bakınız