Semi-Cohen Boolean algebras (Q1371429): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 03:06, 5 March 2024

scientific article
Language Label Description Also known as
English
Semi-Cohen Boolean algebras
scientific article

    Statements

    Semi-Cohen Boolean algebras (English)
    0 references
    0 references
    0 references
    0 references
    10 May 1998
    0 references
    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.
    0 references
    forcing notion
    0 references
    Boolean algebra
    0 references
    Cohen algebra
    0 references
    0 references

    Identifiers