Amalgamation, interpolation and epimorphisms in algebraic logic (Q873743)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Amalgamation, interpolation and epimorphisms in algebraic logic
scientific article

    Statements

    Amalgamation, interpolation and epimorphisms in algebraic logic (English)
    0 references
    0 references
    0 references
    2 April 2007
    0 references
    This useful, interesting, and well-written survey paper is based on [\textit{D.\ Pigozzi}, Algebra Univers. 1, 269--349 (1972; Zbl 0236.02047)]. Pigozzi's two large tables of results concerning amalgamation, congruence-extension, embedding, and interpolation properties of cylindric algebras left many open questions, all of which have been subsequently solved by the authors and others. This paper presents a survey of the answers plus many closely related results and open problems, along with descriptions and comparisons of proofs.
    0 references
    amalgamation
    0 references
    interpolation
    0 references
    congruence extension
    0 references
    epimorphisms
    0 references
    cylindric algebras
    0 references
    survey
    0 references

    Identifiers