Previous |  Up |  Next

Article

Keywords:
forcing; sigma-closed dense subset
Summary:
It is consistent with the axioms of set theory that there are two co-dense partial orders, one of them $\sigma $-closed and the other one without a $\sigma $-closed dense subset.
References:
[1] Foreman M.: Games played on Boolean algebras. J. Symbolic Logic 48 (1983), 714–723. DOI 10.2307/2273464 | MR 0716633 | Zbl 0536.03033
[2] Jech T.: Set Theory. Academic Press, San Diego, 1978. MR 0506523 | Zbl 1007.03002
[3] Jech T., Shelah S.: On countably closed complete boolean algebras. J. Symbolic Logic 61 (1996), 1380–1386, math.LO/9502203. DOI 10.2307/2275822 | MR 1456113 | Zbl 0871.06008
[4] Shelah S.: Proper and Improper Forcing. second edition, Springer, New York, 1998. MR 1623206 | Zbl 0889.03041
[5] Vojtáš P.: Game properties of Boolean algebras. Comment. Math. Univ. Carolin. 24 (1983), 349–369. MR 0711272
Partner of
EuDML logo