Projektif belirlilik aksiyomu - Axiom of projective determinacy
Gelen matematiksel mantık , yansıtmalı belirlilik özel bir durumu olan belirlilik belitinin sadece uygulayarak yansıtmalı setleri .
Yansıtmalı belirlilik beliti , kısaltılmış PD , devletler bunların hiçbirini iki oyunculu sonsuz oyun için mükemmel bilgi uzunluğunun w oyuncuları oynadıkları ve doğal sayılar zafer seti (yansıtmalı setleri beri her iki oyuncu için, tamamlama altında kapalı) ise, yansıtmalıysa, bir oyuncunun veya diğerinin kazanma stratejisi vardır .
Aksiyom, ZFC'nin bir teoremi değildir (ZFC'nin tutarlı olduğu varsayılır), ancak seçim aksiyomuyla çelişen tam belirlenim aksiyomunun (AD) aksine, ZFC ile tutarsız olduğu bilinmemektedir. PD , sonsuz sayıda Woodin kardinalinin varlığı gibi bazı büyük ana aksiyomlardan kaynaklanır .
PD, tüm projektif kümelerin Lebesgue ölçülebilir (aslında evrensel olarak ölçülebilir ) olduğunu ve mükemmel küme özelliğine ve Baire özelliğine sahip olduğunu ima eder . Ayrıca her yansıtmalı ima ikili ilişki olabilir uniformized izdüşümsel dizi.
Referanslar
- Martin, Donald A .; Çelik, John R. (Ocak 1989). "Projektif Belirleyiciliğin Kanıtı" (PDF) . Amerikan Matematik Derneği Dergisi . 2 (1): 71–125. doi : 10.2307 / 1990913 . 30 Nisan 2016 tarihinde orjinalinden (PDF) arşivlendi . CS1 Maint: önerilmeyen parametre ( bağlantı )
- Moschovakis, Yiannis N. (2009). Tanımlayıcı küme teorisi (PDF) (2. baskı). Providence, RI: Amerikan Matematik Derneği. ISBN 0-8218-4813-5 . 2014-11-12 tarihinde orjinalinden arşivlendi. CS1 Maint: önerilmeyen parametre ( bağlantı ) CS1 Maintenance: bot: Orijinal URL durumu bilinmiyor ( bağlantı )
 |
Bu set teorisi ile ilgili makale bir taslaktır . Wikipedia'yı genişleterek yardım edebilirsiniz . |