̺,λ,S′。那么p≤q,我们可以定义g:λ→λ依据:
对于λ,设g(ǫ)=sup{uǫ},其中u来自我们的归纳中的第(10)(b)条,因此uζ是基数<λ的λ的子集,显然g(ǫ)确实<λ。所以g是一个从λ到λ的函数,它属于V。此外,根据第(10)(b)条,我们有pǫ+1“~τ(ǫ)∈u“,因此pǫ+1”~τ(ǫ)≤g(\491)”。但是q高于pǫ+1ǫ<λ,因此q“~τ(ǫ)≤g(\491)”。
由于p比我们原来的p强,我们已经证明了这个定理。
推论41:强迫Qλ类似于λ的随机实强迫。
参考文献
[1] J.Cummings、M.Foreman和M.Magidor,《正方形、尺度和静止反射》,《数学逻辑杂志》1(2001),35-98。
[2] L.J.Halbeisen,组合集理论与强迫,施普林格数学专著,施普林格伦敦出版社,2012年。
[3] T.Jech,《集合论》,施普林格数学专著,柏林施普林格出版社,2003年。
[4] A.Kanamori,《高等无限》,斯普林格数学专著,斯普林格,Berlin,2009。[5]S.Shelah,Cohen和随机强迫有多特别,即族的布尔代数实数模贫乏或零的子集,《以色列数学杂志》,88(1994),159–174
[6] S.Shelah,与不可访问λ的零理想平行:第一部分,数学档案逻辑56(2017),319–383。
[7] S.Shelah,不可接近的生物迭代,准备中,Shelah中的1100号出版物列表。
[8] S.Shelah,带链条件的不可数基数的有界强迫,E82Shelah出版物列表。
[9] T.Baumhauer,M.Goldstern和S.Shelah,高等Cicho´n图,原教旨主义Mathematicae.
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。