Semi-Cohen Boolean algebras

Other aspects of forcing and Boolean-valued models (03E40) Continuum hypothesis and Martin's axiom (03E50) Structure theory of Boolean algebras (06E05)

Abstract: We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras: semi-Cohen algebras, pseudo-Cohen algebras and potentially Cohen algebras. These classes of Boolean algebras are closed under completion.

Review text

A Boolean algebra \(B\) is a Cohen algebra if it is dense in the completion of a free Boolean algebra. This can be characterized as follows: \(B\) is Cohen if the set of its countable regular subalgebras contains a closed unbounded set \(C\) such that for each \(A_0\), \(A_1\in C\) also the algebra generated by \(A_0\) and \(A_1\) is in \(C\). Here the authors investigate the classes of semi-Cohen, pseudo-Cohen and potentially Cohen algebras. \(B\) is semi-Cohen (pseudo-Cohen), if its set of countable regular subalgebras contains a closed unbounded (stationary) subset. \(B\) is potentially Cohen, if it is of uniform density and there exists a forcing \(P\) preserving \(\aleph_1\) which forces that \(B\) is Cohen. In this paper the authors give several different characterizations of these classes of Boolean algebras. They show that there exists a pseudo-Cohen algebra which is not semi-Cohen. Further on they show that the continuum hypothesis implies that every potentially Cohen algebra is pseudo-Cohen, whereas Martin's Axiom implies that these classes are different.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Semi-Cohen Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1371429)