Cylindric-relativised set algebras have strong amalgamation

Journal of Symbolic Logic 50 (3):689-700 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274323

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,319

External links

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

Through your library

My notes

Similar books and articles

On Amalgamation in Algebras of Logic.Tarek Sayed Ahmed - 2005 - Studia Logica 81 (1):61-77.
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
A completeness theorem for higher order logics.Gabor Sagi - 2000 - Journal of Symbolic Logic 65 (2):857-884.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Weakly higher order cylindric algebras and finite axiomatization of the representables.I. Németi & A. Simon - 2009 - Studia Logica 91 (1):53 - 62.
Relativised quantification: Some canonical varieties of sequence-set algebras.Hajnal Andreka, Robert Goldblatt & Istvan Nemeti - 1998 - Journal of Symbolic Logic 63 (1):163-184.
On neat embeddings of cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (6):666-668.
Neat embeddings as adjoint situations.Tarek Sayed-Ahmed - 2015 - Synthese 192 (7):1-37.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Omitting types algebraically and more about amalgamation for modal cylindric algebras.Tarek Sayed Ahmed - 2021 - Mathematical Logic Quarterly 67 (3):295-312.

Analytics

Added to PP
2009-01-28

Downloads
37 (#671,858)

6 months
5 (#840,382)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references