On amalgamation in algebras of logic (Q817679)

From MaRDI portal





scientific article; zbMATH DE number 5013019
Language Label Description Also known as
English
On amalgamation in algebras of logic
scientific article; zbMATH DE number 5013019

    Statements

    On amalgamation in algebras of logic (English)
    0 references
    0 references
    17 March 2006
    0 references
    The main theorem is that not all epimorphisms are surjective in \(K\) and \(K\) fails to have the strong amalgamation property if \(K\) is one of these classes of algebras: \(\omega\)-dimensional cylindric algebras, \(\omega\)-dimensional substitution algebras, \(\omega\)-dimensional quasipolyadic algebras, and \(\omega\)-dimensional quasipolyadic algebras with equality.
    0 references
    algebraic logic
    0 references
    cylindric algebras
    0 references
    substitution algebras
    0 references
    quasipolyadic algebras
    0 references
    amalgamation
    0 references
    0 references

    Identifiers