The independence of δn1

被引:0
|
作者
Leshem, A [1 ]
Magidor, M [1 ]
机构
[1] Hebrew Univ Jerusalem, Inst Math, IL-91904 Jerusalem, Israel
关键词
D O I
10.2307/2586769
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this paper we prove the independence of delta(n)(1) for n greater than or equal to 3. We show that delta(4)(1) can be forced to be above any ordinal of L using set forcing. For delta(3)(1) we prove that it can he forced, using set forcing, to be above any L cardinal n such that kappa is Pi(1) definable without parameters in L. We then show that delta(3)(1) cannot be forced by a set forcing to be above every cardinal of L. Finally we present a class forcing construction to make delta(3)(1) greater than any given L cardinal.
引用
收藏
页码:350 / 362
页数:13
相关论文
共 50 条