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 [Book Review]

Journal of Symbolic Logic 50 (1):234-237 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
An introduction to cylindric set algebras.J. Monk - 2000 - Logic Journal of the IGPL 8 (4):451-496.
Cylindric Set Algebras.L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi - 1986 - Studia Logica 45 (2):223-225.
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.
A Modeltheoretic Solution to a Problem of Tarski.Tarek Sayed Ahmed - 2002 - Mathematical Logic Quarterly 48 (3):343-355.
Representable cylindric algebras.Leon Henkin, J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31:23-60.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.

Analytics

Added to PP
2016-06-30

Downloads
20 (#723,940)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Omitting Types in Fragments and Extensions of First Order Logic.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (3):249-287.

Add more citations

References found in this work

No references found.

Add more references