TY - JOUR
T1 - Turing independence and Baire category
AU - Kumar, Ashutosh
AU - Shelah, Saharon
N1 - Publisher Copyright:
© 2023 World Scientific Publishing Company.
PY - 2023
Y1 - 2023
N2 - 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.
AB - 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.
KW - Forcing, Turing independence, Baire category
UR - http://www.scopus.com/inward/record.url?scp=85177584657&partnerID=8YFLogxK
U2 - 10.1142/s0219061324500089
DO - 10.1142/s0219061324500089
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85177584657
SN - 0219-0613
JO - Journal of Mathematical Logic
JF - Journal of Mathematical Logic
M1 - 2450008
ER -