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 | |
| State | Published - 1 Apr 2025 |
Bibliographical note
Publisher Copyright:© 2025 World Scientific Publishing Company.
Keywords
- Baire category
- Forcing
- Turing independence