On weak and strong interpolation in algebraic logics

DOI10.2178/jsl/1140641164zbMath1100.03021arXivmath/0612244OpenAlexW2161461080MaRDI QIDQ5477625

Gábor Sági, Saharon Shelah

Publication date: 5 July 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0612244

zbMATH Keywords

Craig interpolationstrong amalgamationsuperamalgamationvarieties of cylindric algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

Related Items (9)

Algebraic Characterization of the Local Craig Interpolation Property ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Neat embeddings as adjoint situations ⋮ Some results about neat reducts ⋮ The Robinson property and amalgamations of higher arities

Cites Work

• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Classes without the amalgamation property
• Handbook of philosophical logic. Vol. 1.

This page was built for publication: On weak and strong interpolation in algebraic logics