When a relation with all Borel sections will be Borel somewhere?
When a relation with all Borel sections will be Borel somewhere?
复制标题
当与所有 Borel 部分的关系将在某处成为 Borel 时？
DOI：
--
复制
发表时间：
2021
影响因子：
1
通讯作者：
M. Magidor
中科院分区：
文献类型：
--
作者：
William Chan;M. Magidor
在ZFC中，如果存在一个可测基数，其下有无穷多个Woodin基数，则对于R上的每一个二元关系R∈L(R)，所有截面均为∆1 （Σ1或Π1），以及R上的每一个Σ -理想I，使得I+∆1子集的关联强迫PI是合适的，则存在一个I+∆1集合C，使得R∩（C ×R）为∆1（分别为Σ 11.1或Π 11.1）。
In ZFC, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every binary relation R ∈ L(R) on R with all sections ∆1 (Σ1 or Π1) and every σ-ideal I on R so that the associated forcing PI of I+ ∆1 subsets is proper, there exists some I+ ∆1 set C so that R∩ (C ×R) is ∆1 (Σ 1 1 or Π 1 1, respectively).