Representable cylindric algebras

, &
Annals of Pure and Applied Logic 31:23-60 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90061-8

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

My notes

Similar books and articles

Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, JD Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Neat embeddings as adjoint situations.Tarek Sayed-Ahmed - 2015 - Synthese 192 (7):1-37.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Nonfinitizability of classes of representable cylindric algebras.J. Donald Monk - 1969 - Journal of Symbolic Logic 34 (3):331-343.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part II. [REVIEW]Roger D. Maddux - 1988 - Journal of Symbolic Logic 53 (2):651-653.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.

Analytics

Added to PP
2014-01-16

Downloads
21 (#695,936)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraic structuralism.Neil Dewar - 2019 - Philosophical Studies 176 (7):1831-1854.
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.

Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Cylindric Set Algebras.L. Henkin, J. D. Monk, A. Tarski, H. Andréka & I. Németi - 1986 - Studia Logica 45 (2):223-225.
Projective Algebra I.C. J. Everett & S. Ulam - 1946 - Journal of Symbolic Logic 11 (3):85-85.

View all 7 references / Add more references