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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: math/9506208 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding Trees in the Rationals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4312346 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some remarks on openly generated Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Short complete nested sequences in βN⧹N and small maximal almost-disjoint families / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nearly projective Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the weak distributivity game / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4316894 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837733 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proper forcing / rank
 
Normal rank
Property / cites work
 
Property / cites work: SOUSLIN'S PROBLEM / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forcing axioms and stationary sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariant measures on Boolean algebras / rank
 
Normal rank

Latest revision as of 18:45, 27 May 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