Forcing Square_{omega_1} with finite conditions
作者： Mirna Džamonja , Gregor K. Dolinar
DOI:
关键词:
摘要: We give a forcing construction of the square principle on omega_1 using with conditions whose domain is finite.
harvard.edu
arxiv.org参考文章(6)
J. E. Baumgartner, L. A. Harrington, E. M. Kleinberg, Adding a Closed Unbounded Set Journal of Symbolic Logic. ,vol. 41, pp. 481- 482 ,(1976) , 10.1017/S0022481200051550
Piotr Koszmider, On strong chains of uncountable functions Israel Journal of Mathematics. ,vol. 118, pp. 289- 315 ,(2000) , 10.1007/BF02803525
Uri Abraham, Saharon Shelah, Forcing closed unbounded sets Journal of Symbolic Logic. ,vol. 48, pp. 643- 657 ,(1983) , 10.2307/2273456
Winfried Just, Martin Weese, Discovering Modern Set Theory. II: Set-Theoretic Tools for Every Mathematician ,(1997)
William J. Mitchell, I[o2] can be the nonstationary ideal on Cof(o1) Transactions of the American Mathematical Society. ,vol. 361, pp. 561- 601 ,(2008) , 10.1090/S0002-9947-08-04664-3
Kenneth Kunen, Set Theory: An Introduction to Independence Proofs ,(2011)