Axiom of projective determinacy

In mathematical logic, projective determinacy is the special case of the axiom of determinacy applying only to projective sets.

The axiom of projective determinacy, abbreviated PD, states that for any two-player infinite game of perfect information of length ω in which the players play natural numbers, if the victory set (for either player, since the projective sets are closed under complementation) is projective, then one player or the other has a winning strategy.

The axiom is not a theorem of ZFC (assuming ZFC is consistent), but unlike the full axiom of determinacy (AD), which contradicts the axiom of choice, it is not known to be inconsistent with ZFC. PD follows from certain large cardinal axioms, such as the existence of infinitely many Woodin cardinals.

Consequences

PD implies that all projective sets are Lebesgue measurable (in fact, universally measurable) and have the perfect set property and the property of Baire. It also implies that every projective binary relation may be uniformized by a projective set.

PD implies that for all positive integers , there is a largest countable set.[1]

References

  • Martin, Donald A.; Steel, John R. (Jan 1989). "A Proof of Projective Determinacy". Journal of the American Mathematical Society. 2 (1): 71–125. doi:10.2307/1990913. JSTOR 1990913.
  • Moschovakis, Yiannis N. (2009). Descriptive set theory (PDF) (2nd ed.). Providence, R.I.: American Mathematical Society. ISBN 978-0-8218-4813-5. Archived from the original on 2014-11-12.{{cite book}}: CS1 maint: bot: original URL status unknown (link)

Citations

  1. ^ Donald A. Martin, "The largest countable this, that, and the other". Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106.


Stub icon

This set theory-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Sweet and Sour (1984 TV series)

Australian television series Sweet and SourSweet and Sour TV Soundtrack album coverGenre1980s Music, DramaCreated byTim GoodingJohanna PigottDeveloped byABC Drama DepartmentStarringTracy MannDavid ReyneSandra LillingstonArky MichaelRic HerbertRobin CoppVoices ofDeborah ConwayJohn ClifforthCathy McQuade(singing voices)Theme music composerSharon O'NeillMartin ArmigerCountry of originAustraliaOriginal languageEnglishNo. of seasons1No. of episodes20ProductionProducerJan ChapmanProduction location...

 

Messier 71

Messier 71M71 dari Hubble Space Telescope; 3.35′ Kredit: NASA/STScI/WikiSkyData pengamatan (J2000 epos)KelasX-XIRasi bintangSagittaAsensio rekta 19j 53m 46.49d[1]Deklinasi +18° 46′ 45.1″[1]Jarak13.0 ribu tc[2]Magnitudo tampak (V)+6.1[3]Dimensi tampak (V)7′.2Karakteristik fisikMassa1,7×104[4] M☉Radius13 tahun cahaya[5]MetalisitasTemplat:Fe/H dexPerkiraan umur9-10 GyrNama lainM71, NGC 6838, GCl 1...

 

Vicky Prasetyo

Halaman ini berisi artikel tentang Vicky Prasetyo. Untuk Vicky Prasetyo Rungkad, lihat Vicky Tri Prasetyo. Vicky PrasetyoLahirHendrianto Prasetyo18 April 1984 (umur 39)Bekasi, Jawa Barat, IndonesiaKebangsaanIndonesiaNama lainVicky PrasetyoPekerjaanSelebriti, Pelawak, Presenter, PenyanyiTahun aktif2015–sekarangPartai politikPerindoSuami/istriRama Nuraini ​ ​(m. 2005; c. 2014)​ Angel Lelga ​ ​(m. 2018;...

Ján Sokol (bishop)

Ján Sokol (born 9 October 1933) is a Slovak archbishop and former Archbishop of Trnava and Bratislava. His ExcellencyJán SokolArchbishop Emeritus of TrnavaChurchRoman CatholicArchdioceseArchdiocese of TrnavaAppointedMay 19, 1988InstalledJune 12, 1988Term endedApril 18, 2009SuccessorRóbert BezákOrdersOrdinationJune 23, 1957ConsecrationJune 12, 1988by Francesco ColasuonnoPersonal detailsBorn (1933-10-09) October 9, 1933 (age 90)Jacovce, Czechoslovakia (now Slovakia)Coat of arms St...

 

Musik Saya adalah Saya

Musik Saya adalah SayaAlbum studio karya Yockie Suryo PrayogoDirilis1979Direkam1979StudioMusica, JakartaGenre Pop progressive rock Durasi44:0730:28 (versi piringan hitam)LabelMusica StudiosProduser Yockie Suryo Prayogo Kronologi Yockie Suryo Prayogo Musik Santai III (1978)Musik Santai III1978 Musik Saya adalah Saya (1979) Terbanglah Lepas (1981)Terbanglah Lepas1981 Sampul piringan hitam Musik Saya adalah Saya adalah album kedua Yockie Suryo Prayogo. Album ini merupakan album pertama Yocki...

 

Divisi Utama Liga Indonesia 1996–97

Liga KansasMusim1996-97Tanggal17 Nov 1996 - 28 Juli 1997JuaraPersebaya SurabayaPertandingan perdanaMedan Jaya 1-1 Bandung Raya FCDegradasi Mataram Indocement Assyabaab Surabaya Persedikab Kediri AFC Club Championship Cup 97/98PersebayaAFC Cup Winners' Cup 97/98PSMPemain terbaik Nur'alim(Bandung Raya FC)Pencetak golterbanyak Jacksen F. Tiago (26)(Persebaya Surabaya)← 1995-96 1997-98 → Divisi Utama Liga Indonesia 1996/1997 (disebut Liga Kansas untuk alasan sponsor) adalah musim ketiga Liga ...

Brownsville (Texas)

Brownsvillecity(EN) City of Brownsville Brownsville – Veduta LocalizzazioneStato Stati Uniti Stato federato Texas ConteaCameron AmministrazioneSindacoJohn Cowen TerritorioCoordinate25°55′49″N 97°29′04″W / 25.930278°N 97.484444°W25.930278; -97.484444 (Brownsville)Coordinate: 25°55′49″N 97°29′04″W / 25.930278°N 97.484444°W25.930278; -97.484444 (Brownsville) Altitudine10 m s.l.m. Superficie378,87 km² Abitanti175&...

 

Kruszewnia

See also: Kruszewnia, Warmian-Masurian Voivodeship You can help expand this article with text translated from the corresponding article in Polish. (April 2023) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Con...

 

Dankook University

Private university in Yongin and Cheonan, South KoreaThis article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Dankook University – news · newspapers · books · scholar · JSTOR (January 2024) (Learn how and when to remove this message)Dankook University단국대학교 (檀國大學校)Motto자립·자주·구국Motto i...

Pulang (film pendek)

Pulang (Film Pendek)SutradaraGalih FirdausProduserYunda NugrahaDitulis olehAdrian AeriPemeranRay SahetapyYuriska PatriciaSanti RositaOo HermawanAbdul SyawalM.JunaidiPerusahaanproduksiVisualkanDistributorPT KAITanggal rilis15 April 2023Durasi25 menitNegara IndonesiaBahasaIndonesia Pulang (film pendek) adalah sebuah film pendek persembahan PT KAI yang diproduksi oleh Visualkan Kreasi Indonesia, disutradarai oleh Galih Firdaus.[1] Film pendek ini dibintangi oleh Ray Sahetapy, Yurisk...

 

Азиатский барсук

Азиатский барсук Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:СинапсидыКласс:Мле�...

 

2016年美國總統選舉

2016年美國總統選舉 ← 2012 2016年11月8日 2020 → 538個選舉人團席位獲勝需270票民意調查投票率55.7%[1][2] ▲ 0.8 %   获提名人 唐納·川普 希拉莉·克林頓 政党 共和黨 民主党 家鄉州 紐約州 紐約州 竞选搭档 迈克·彭斯 蒂姆·凱恩 选举人票 304[3][4][註 1] 227[5] 胜出州/省 30 + 緬-2 20 + DC 民選得票 62,984,828[6] 65,853,514[6]...

Dead-end job

Job with little chance of advancement A dead-end job is a job where there is little or no chance of career development and advancement into a better position. If an individual requires further education to progress within their firm that is difficult to obtain for any reason, this can result in the occupation being classified as a dead-end position.[1] Based on human resources and career strategist Toni Howard Lowe, some individuals who have worked for the same company for several yea...

 

María la Judía

María la Judía Grabado de representación de María la Profetisa del libro de Michael Maier Symbola Aurea Mensae Duodecim Nationum (1617).Información personalNacimiento 200 a. C. Alejandría (Egipto) Fallecimiento Alejandría (Egipto) EducaciónAlumna de Seudo-Demócrito Información profesionalOcupación Arquitecta, alquimista, escritora y filósofa Años activa desde Siglo IIIjuliano, hasta Siglo IIIjuliano[editar datos en Wikidata] María la Judía, también conocida como Mar�...

 

إمباري

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (أبريل 2021) إمباري الإحداثيات 26°04′48″N 42°17′02″E / 26.080122°N 42.2838174°E / 26.080122; 42.2838174   تقسيم إداري  البلد ال...

虎貓

虎貓 保护状况 无危 （IUCN 3.1）[1] 科学分类 界： 动物界 Animalia 门： 脊索动物门 Chordata 纲： 哺乳纲 Mammalia 目： 食肉目 Carnivora 科： 猫科 Felidae 属： 虎貓屬 Leopardus 种： 虎貓 L. pardalis 二名法 Leopardus pardalisLinnaeus, 1758 虎貓分布圖 虎貓（學名：Leopardus pardalis，英語：ocelot）又名美洲豹貓，是產於南美、中美和墨西哥以及美國最南端、加勒比地區的野生貓科動物。體長�...

 

Canadian Baseball Hall of Fame

For baseball halls of fame in other countries, see Baseball Hall of Fame (disambiguation). Sports museum in Ontario, CanadaCanadian Baseball Hall of Fame and MuseumTemple de la renommée du baseball canadienOriginal building in St. Marys, c. 2010Established1982Location386 Church Street SouthSt. Marys, Ontario, CanadaCoordinates43°15′05″N 81°08′38″W / 43.251435°N 81.143845°W / 43.251435; -81.143845TypeSports museumDirectorScott CrawfordChairpersonJerem...

 

Tibetan Empire

Empire in East Asia from 618 to 842/848 This article's lead section may be too long. Please read the length guidelines and help move details into the article's body. (June 2023) Tibetan Empireབོད་ཆེན་པོbod chen po618–842/848 Standard of the Tibetan king Songtsen Gampo (7th century)Map of the Tibetan Empire's influence at its greatest extent, in the late 8th to mid-9th century[1]CapitalLhasaCommon languagesTibetic languagesReligion Tibetan Buddhism, BonGovern...

Tencent

Untuk the coin, lihat 10 cent coin. Artikel ini berisi konten yang ditulis dengan gaya sebuah iklan. Bantulah memperbaiki artikel ini dengan menghapus konten yang dianggap sebagai spam dan pranala luar yang tidak sesuai, dan tambahkan konten ensiklopedis yang ditulis dari sudut pandang netral dan sesuai dengan kebijakan Wikipedia. (July 2020) Tencent Holdings Ltd.Tencent Seafront Towers di ShenzhenNama asli腾讯控股有限公司Nama latinTéngxùn Kònggǔ Yǒuxiàn GōngsīJenisPublikKode ...

 

جائحة فيروس كورونا في الجمهورية العربية الصحراوية الديمقراطية

جائحة فيروس كورونا في الجمهورية العربية الصحراوية الديمقراطية 2020 المرض مرض فيروس كورونا 2019 السلالة فيروس كورونا المرتبط بالمتلازمة التنفسية الحادة الشديدة النوع 2 التواريخ 25 يوليو 2020 المكان الجمهورية العربية الصحراوية الديمقراطية تعديل مصدري - تعديل   جزء من سلسلة ...