Turing independence and Baire category

Ashutosh Kumar; Saharon Shelah

doi:10.1142/S0219061324500089

Turing independence and Baire category

Ashutosh Kumar^*
, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Article number	2450008
Journal	Journal of Mathematical Logic
Volume	25
Issue number	1
DOIs	https://doi.org/10.1142/S0219061324500089
State	Published - 1 Apr 2025

Bibliographical note

Publisher Copyright:
© 2025 World Scientific Publishing Company.

Keywords

Baire category
Forcing
Turing independence

Access to Document

10.1142/S0219061324500089

Cite this

@article{089c1aee701e410e9e382919fb771657,

title = "Turing independence and Baire category",

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.",

keywords = "Baire category, Forcing, Turing independence",

author = "Ashutosh Kumar and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2025 World Scientific Publishing Company.",

year = "2025",

month = apr,

day = "1",

doi = "10.1142/S0219061324500089",

language = "אנגלית",

volume = "25",

journal = "Journal of Mathematical Logic",

issn = "0219-0613",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "1",

}

TY - JOUR

T1 - Turing independence and Baire category

AU - Kumar, Ashutosh

AU - Shelah, Saharon

PY - 2025/4/1

Y1 - 2025/4/1

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 - Baire category

KW - Forcing

KW - Turing independence

UR - https://www.scopus.com/pages/publications/105002372184

U2 - 10.1142/S0219061324500089

DO - 10.1142/S0219061324500089

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:105002372184

SN - 0219-0613

VL - 25

JO - Journal of Mathematical Logic

JF - Journal of Mathematical Logic

IS - 1

M1 - 2450008

ER -

Turing independence and Baire category

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this