We present a forcing poset for destroying the stationarity of certain subsets ofP kk+. Using this poset along with Prikry forcing techniques we establish some consistency results concerning saturated ideals andS(k, k +).
展开▼
机译:我们提出了一个强迫姿态来破坏P k sub> k + sup>的某些子集的平稳性。结合使用这个球体和Prikry强迫技术,我们建立了关于饱和理想和S(k,k + sup>)的一致性结果。
展开▼