On Weak and Strong Interpolation in Algebraic Logics

Journal of Symbolic Logic 71 (1):104 - 118 (2006)
  Copy   BIBTEX


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 [12]



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

33 (#457,286)

6 months
8 (#283,518)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpolation property and homogeneous structures.Z. Gyenis - 2014 - Logic Journal of the IGPL 22 (4):597-607.
Three interpolation theorems for typeless logics.T. Sayed Ahmed - 2012 - Logic Journal of the IGPL 20 (6):1001-1037.
The Robinson property and amalgamations of higher arities.David Nyiri - 2016 - Mathematical Logic Quarterly 62 (4-5):427-433.
Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.

View all 12 citations / Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references