Iterations of Boolean algebras with measure (Q1262858)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Iterations of Boolean algebras with measure
scientific article

    Statements

    Iterations of Boolean algebras with measure (English)
    0 references
    1989
    0 references
    The author considers a class M of Boolean algebras with strictly positive, finitely additive measures. He shows that M is closed under iteration with finite support and that forcing via such algebras allows an extension of the Lebesgue measure structure of the ground model. For a class \(\Gamma\) of Boolean algebras let MA(\(\Gamma)\) denote Martin's axiom restricted to \(\Gamma\). B is said to be \(\sigma\)-centered if the Stone space of B is separable. The main result of this paper is: MA(M)\(\equiv MA(\sigma\)-centered) and LC, where LC is the statement that for an infinite cardinal \(\kappa\), \(Cov(L_{\kappa})=2^{\omega}\), with a suitable definition of \(Cov(L_{\kappa})\).
    0 references
    measures on Boolea algebras
    0 references
    forcing
    0 references
    Martin's axiom
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references