Source: J. Symbolic Logic
Volume 71, Issue 1
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
Full-text: Access denied (no subscription
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
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.
Mathematical Reviews (MathSciNet): MR447074
S. Burris and H. P. Sankappanavar A course in universal algebra, Springer Verlag, New York,1981.
Mathematical Reviews (MathSciNet): MR648287
C. C. Chang and H. J. Keisler Model theory, North-Holland, Amsterdam,1973.
Mathematical Reviews (MathSciNet): MR491125
Comer Classes without the amalgamation property, Pacific Journal of Mathematics, vol. 28 (1969), pp. 309--318.
Mathematical Reviews (MathSciNet): MR242650
L. Henkin, J. D. Monk, and A. Tarski Cylindric algebras. Part 1, North-Holland, Amsterdam,1971.
Mathematical Reviews (MathSciNet): MR314620
-------- 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.
Mathematical Reviews (MathSciNet): MR759319
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.
Mathematical Reviews (MathSciNet): MR300897
S. Shelah Classification theory, North-Holland, Amsterdam,1990.