首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Stationary sets added when forcing squares
Authors:Maxwell Levine
Institution:1.Kurt G?del Research Center for Mathematical Logic, Universit?t Wien,Vienna,Austria
Abstract:Current research in set theory raises the possibility that \(\square _{\kappa ,<\lambda }\) can be made compatible with some stationary reflection, depending on the parameter \(\lambda \). The purpose of this paper is to demonstrate the difficulty in such results. We prove that the poset \({\mathbb {S}}(\kappa ,<\lambda )\), which adds a \(\square _{\kappa ,<\lambda }\)-sequence by initial segments, will also add non-reflecting stationary sets concentrating in any given cofinality below \(\kappa \). We also investigate the CMB poset, which adds \(\square _\kappa ^*\) in a slightly different way. We prove that the CMB poset also adds non-reflecting stationary sets, but not necessarily concentrating in any cofinality.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号