{"title":"图灵独立性和贝尔范畴","authors":"Ashutosh Kumar, Saharon Shelah","doi":"10.1142/s0219061324500089","DOIUrl":null,"url":null,"abstract":". We show that it is relatively consistent with ZFC that there is a non-meager set of reals X such that for every non-meager Y ⊆ X , there exist distinct x,y,z ∈ Y such that z is computable from the Turing join of x and y .","PeriodicalId":50144,"journal":{"name":"Journal of Mathematical Logic","volume":"3 1","pages":"0"},"PeriodicalIF":0.9000,"publicationDate":"2023-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Turing independence and baire category\",\"authors\":\"Ashutosh Kumar, Saharon Shelah\",\"doi\":\"10.1142/s0219061324500089\",\"DOIUrl\":null,\"url\":null,\"abstract\":\". We show that it is relatively consistent with ZFC that there is a non-meager set of reals X such that for every non-meager Y ⊆ X , there exist distinct x,y,z ∈ Y such that z is computable from the Turing join of x and y .\",\"PeriodicalId\":50144,\"journal\":{\"name\":\"Journal of Mathematical Logic\",\"volume\":\"3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2023-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Mathematical Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/s0219061324500089\",\"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":"1085","ListUrlMain":"https://doi.org/10.1142/s0219061324500089","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}
. We show that it is relatively consistent with ZFC that there is a non-meager set of reals X such that for every non-meager Y ⊆ X , there exist distinct x,y,z ∈ Y such that z is computable from the Turing join of x and y .
期刊介绍：
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
