# Sh:864

• Shelah, S., & Sági, G. (2006). On weak and strong interpolation in algebraic logics. J. Symbolic Logic, 71(1), 104–118.
• Abstract:
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig’s Interpolation Theorem holds, but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property, but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi
• Current version: 2006-05-15_10 (18p) published version (16p)
Bib entry
@article{Sh:864,
author = {Shelah, Saharon and S{\'a}gi, G{\'a}bor},
title = {{On weak and strong interpolation in algebraic logics}},
journal = {J. Symbolic Logic},
fjournal = {The Journal of Symbolic Logic},
volume = {71},
number = {1},
year = {2006},
pages = {104--118},
issn = {0022-4812},
mrnumber = {2210057},
mrclass = {03C40 (03G15)},
doi = {10.2178/jsl/1140641164},
note = {\href{https://arxiv.org/abs/math/0612244}{arXiv: math/0612244}},
arxiv_number = {math/0612244}
}