WHEN A RELATION WITH ALL BOREL SECTIONS WILL BE BOREL SOMEWHERE?

被引：1
|
作者：
Chan, William [1 ]
Magidor, Menachem [2 ]
机构：
[1] Carnegie Mellon Univ, Dept Math, Pittsburgh, PA 15213 USA
[2] Hebrew Univ Jerusalem, Einstein Inst Math, IL-9190401 Jerusalem, Israel
来源：
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 2022年 / 150卷 / 02期
关键词：
D O I：
10.1090/proc/15687
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
In ZFC, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every binary relation R is an element of L(R) on R with all sections Delta(1)(1) (Sigma(1)(1) or Pi(1)(1)) and every sigma-ideal I on R so that the associated forcing P-I of I+ Delta(1)(1) subsets is proper, there exists some I+ Delta(1)(1) set C so that R boolean AND (C x R) is Delta(1)(1) (Sigma(1)(1) or Pi(1)(1), respectively).
引用
收藏
页码：833 / 847
页数：15
相关论文
共 50 条
12345