图灵确定性和Suslin集

Q4 Mathematics New Zealand Journal of Mathematics Pub Date : 2022-05-12 DOI:10.53733/140

W. Woodin

{"title":"图灵确定性和Suslin集","authors":"W. Woodin","doi":"10.53733/140","DOIUrl":null,"url":null,"abstract":"The relationship between the Axiom of Determinacy (AD) and the Axiom of Turing Determinacy has been open for over 50 years, and the attempts to understand that relationship has had a profound influence on Set Theory in a variety of ways. The prevailing conjecture is that these two determinacy hypotheses are actually equivalent, and the main theorem of this paper is that Turing Determinacy implies that every Suslin set is determined.","PeriodicalId":30137,"journal":{"name":"New Zealand Journal of Mathematics","volume":"461 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2022-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Turing Determinacy and Suslin sets\",\"authors\":\"W. Woodin\",\"doi\":\"10.53733/140\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The relationship between the Axiom of Determinacy (AD) and the Axiom of Turing Determinacy has been open for over 50 years, and the attempts to understand that relationship has had a profound influence on Set Theory in a variety of ways. The prevailing conjecture is that these two determinacy hypotheses are actually equivalent, and the main theorem of this paper is that Turing Determinacy implies that every Suslin set is determined.\",\"PeriodicalId\":30137,\"journal\":{\"name\":\"New Zealand Journal of Mathematics\",\"volume\":\"461 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-05-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"New Zealand Journal of Mathematics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.53733/140\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"New Zealand Journal of Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.53733/140","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}

引用次数: 1

摘要

确定性公理(AD)和图灵确定性公理之间的关系已经开放了50多年，并且试图理解这种关系在各种方面对集合论产生了深远的影响。流行的猜想是这两个确定性假设实际上是等价的，本文的主要定理是图灵确定性意味着每个Suslin集合都是确定的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Turing Determinacy and Suslin sets

The relationship between the Axiom of Determinacy (AD) and the Axiom of Turing Determinacy has been open for over 50 years, and the attempts to understand that relationship has had a profound influence on Set Theory in a variety of ways. The prevailing conjecture is that these two determinacy hypotheses are actually equivalent, and the main theorem of this paper is that Turing Determinacy implies that every Suslin set is determined.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊