Independence of Boolean algebras and forcing. (Q1412835)

From MaRDI portal
Revision as of 18:00, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Independence of Boolean algebras and forcing.
scientific article

    Statements

    Independence of Boolean algebras and forcing. (English)
    0 references
    0 references
    25 November 2003
    0 references
    The author introduces the following unusual definition of independence. For an infinite cardinal \(\kappa\), a complete Boolean algebra \(B\) is \(\kappa\)-dependent iff for each sequence \(\langle b_\beta:\beta<\kappa\rangle\) of elements of \(B\) there is a partition \(P\) of unity such that each \(p\in P\) extends \(b_\beta\) or \(-b_\beta\) for \(\kappa\)-many \(\beta<\kappa\); \(\kappa\)-independent means not (\(\kappa\) dependent). There are many results about this notion, and we mention just a few. An equivalent version as a certain distributive law is given, and some forcing equivalents are given. A complete BA \(B\) is \(\kappa\) dependent if \(\text{cf} (\kappa)>\pi(B)\). The collection \(\text{Indep}(B)=\{\kappa:\kappa\) is regular and \(B\) is \(\kappa\)-independent\(\}\) is considered. The independence notion is investigated for the collapsing algebra \(\text{Col}(\kappa,\lambda)\). The behaviour at singular cardinals is described.
    0 references
    independence
    0 references
    distributive laws
    0 references
    Boolean-valued models
    0 references
    forcing
    0 references
    Boolean algebras
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references