Turing independence and Baire category

被引：0

作者：

Kumar, Ashutosh ^{[1
]}

Shelah, Saharon ^{[2
,3
]}

机构：

[1] Indian Inst Technol Kanpur, Dept Math & Stat, Kanpur 208016, Uttar Pradesh, India

[2] Hebrew Univ Jerusalem, Einstein Inst Math, Edmond J Safra Campus, IL-91904 Jerusalem, Israel

[3] Rutgers State Univ, Dept Math, Hill Ctr Busch Campus, 110 Frelinghuysen Rd, Piscataway, NJ 08854 USA

来源：

JOURNAL OF MATHEMATICAL LOGIC | 2023年

基金：

以色列科学基金会;

关键词：

Forcing; Turing independence; Baire category;

D O I：

10.1142/S0219061324500089

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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 subset of X, there exist distinct x, y, z is an element of Y such that z is computable from the Turing join of x and y.

引用

页数：17

共 6 条

[1] Chong C. T., 2015, De Gruyter Series in Logic and its Applications., V8
[2] GROSZEK MJ, 1983, T AM MATH SOC, V277, P579
[3] A 2ND CATEGORY SET WITH ONLY 1ST CATEGORY FUNCTIONS
KOMJATH, P
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1991, 112 (04) : 1129 - 1136
[4] LARGE TURING INDEPENDENT SETS
Kumar, Ashutosh
Shelah, Saharon
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2023, 151 (01) : 355 - 367
[5] Slaman T., 2005, Draft manuscript
[6] PARTITIONING PAIRS OF COUNTABLE ORDINALS
TODORCEVIC, S
[J]. ACTA MATHEMATICA, 1987, 159 (3-4) : 261 - 294

← 1 →