{"title":"等价关系和确定性","authors":"Logan Crone, Lior Fishman, Stephen Jackson","doi":"10.1142/s0219061322500039","DOIUrl":null,"url":null,"abstract":"We introduce the notion of $(\\Gamma,E)$-determinacy for $\\Gamma$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\\{0,1\\}$ or $S=\\omega$. We show that for all shift actions by countable groups $G$, and any \"reasonable\" pointclass $\\Gamma$, that $(\\Gamma,E_G)$-determinacy implies $\\Gamma$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\\mathbb{Z}$.","PeriodicalId":50144,"journal":{"name":"Journal of Mathematical Logic","volume":"6 1","pages":"2250003:1-2250003:19"},"PeriodicalIF":0.9000,"publicationDate":"2020-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Equivalence relations and determinacy\",\"authors\":\"Logan Crone, Lior Fishman, Stephen Jackson\",\"doi\":\"10.1142/s0219061322500039\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce the notion of $(\\\\Gamma,E)$-determinacy for $\\\\Gamma$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\\\\{0,1\\\\}$ or $S=\\\\omega$. We show that for all shift actions by countable groups $G$, and any \\\"reasonable\\\" pointclass $\\\\Gamma$, that $(\\\\Gamma,E_G)$-determinacy implies $\\\\Gamma$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\\\\mathbb{Z}$.\",\"PeriodicalId\":50144,\"journal\":{\"name\":\"Journal of Mathematical Logic\",\"volume\":\"6 1\",\"pages\":\"2250003:1-2250003:19\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2020-03-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1142/s0219061322500039\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s0219061322500039","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}
We introduce the notion of $(\Gamma,E)$-determinacy for $\Gamma$ a pointclass and $E$ an equivalence relation on a Polish space $X$. A case of particular interest is the case when $E=E_G$ is the (left) shift-action of $G$ on $S^G$ where $S=2=\{0,1\}$ or $S=\omega$. We show that for all shift actions by countable groups $G$, and any "reasonable" pointclass $\Gamma$, that $(\Gamma,E_G)$-determinacy implies $\Gamma$-determinacy. We also prove a corresponding result when $E$ is a subshift of finite type of the shift map on $2^\mathbb{Z}$.
期刊介绍:
The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject.