Journal of Symbolic Logic

On weak and strong interpolation in algebraic logics

Saharon Shelah and Gábor Sági

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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

Article information

Source
J. Symbolic Logic, Volume 71, Issue 1 (2006), 104-118.

Dates
First available in Project Euclid: 22 February 2006

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1140641164

Digital Object Identifier
doi:10.2178/jsl/1140641164

Mathematical Reviews number (MathSciNet)
MR2210057

Zentralblatt MATH identifier
1100.03021

Subjects
Primary: 03C40: Interpolation, preservation, definability 03G15: Cylindric and polyadic algebras; relation algebras

Keywords
Craig Interpolation Strong Amalgamation Superamalgamation Varieties of Cylindric Algebras

Citation

Sági, Gábor; Shelah, Saharon. On weak and strong interpolation in algebraic logics. J. Symbolic Logic 71 (2006), no. 1, 104--118. doi:10.2178/jsl/1140641164. https://projecteuclid.org/euclid.jsl/1140641164


Export citation

References

  • H. Andréka, I. Németi, and I. Sain Algebraic logic, Handbook of philosophical logic (D. M. Gabbay and F. Guenthner, editors), Kluwer Academic Publishers, 2nd ed.,2001.
  • K. Baker Finite equational bases for finite algebras in a congruence-distrubutive equational class, Advances in Mathematics, vol. 24 (1977), pp. 204--243.
  • S. Burris and H. P. Sankappanavar A course in universal algebra, Springer Verlag, New York,1981.
  • C. C. Chang and H. J. Keisler Model theory, North-Holland, Amsterdam,1973.
  • Comer Classes without the amalgamation property, Pacific Journal of Mathematics, vol. 28 (1969), pp. 309--318.
  • L. Henkin, J. D. Monk, and A. Tarski Cylindric algebras. Part 1, North-Holland, Amsterdam,1971.
  • -------- Cylindric algebras. Part 2, North-Holland, Amsterdam,1985.
  • W. Hodges Model theory, Cambridge University Press,1997.
  • E. W. Kiss, L. Márki, P. Prőhle, and W. Tholen Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness and injectivity, Studia Scientiarum Mathematicarum Hungarica, vol. 18 (1983), pp. 79--141.
  • L. Maksimova Beth's property, interpolation and amalgamation in varieties of modal algebras, Doklady Akademii Nauk SSSR, vol. 319 (1991), no. 6, pp. 1309--1312, Russian.
  • I. Németi Beth definability property is equivalent with surjectiveness of epis in general algebraic logic, Technical report, Mathematical Institute of Hungarian Academy of Sciences, Budapest,1983.
  • D. Pigozzi Amalgamation, congruence extension and interpolation properties in algebras, Algebra Universalis, vol. 1 (1972), no. 3, pp. 269--349.
  • S. Shelah Classification theory, North-Holland, Amsterdam,1990.