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
Bu küme teorisi makale lı bir olduğunu saplama . Sen Vikipedi'ye katkıda bulunabilirsiniz genişletmeden . |