{"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}
引用次数: 1
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.