On Weak and Strong Interpolation in Algebraic Logics

Gabor Sagi, Saharon Shelah

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…