Sh:864

• Shelah, S., & Sági, G. (2006). On weak and strong interpolation in algebraic logics. J. Symbolic Logic, 71(1), 104–118. arXiv: math/0612244 DOI: 10.2178/jsl/1140641164 MR: 2210057
• 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
• Version 2006-05-15_10 (18p) published version (16p)

@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}
}