Amalgamation, interpolation and epimorphisms in algebraic logic (Q873743)

From MaRDI portal





scientific article; zbMATH DE number 5139582
Language Label Description Also known as
default for all languages
No label defined
    English
    Amalgamation, interpolation and epimorphisms in algebraic logic
    scientific article; zbMATH DE number 5139582

      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
      0 references

      Identifiers