Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing

zbMath0576.03042MaRDI QIDQ1064325

Alfred Tarski, J. Donald Monk, Leon Henkin

Publication date: 1985

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

model theoryrelation algebrasuniversal algebraBoolean algebras with operatorscylindric algebrasinfinitary relationspolyadic algebrasabstract

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Abstract model theory (03C95) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (18)

Extensions of Algebraic Systems ⋮ Quasi-polyadic algebras and their dual position ⋮ On Tarski's assumptions ⋮ Multi-dimensional semantics for modal logics ⋮ Some Varieties Containing Relation Algebras ⋮ Representability is not decidable for finite relation algebras ⋮ Galois Theory for Cylindric Algebras and its Applications ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Pair-Dense Relation Algebras ⋮ Strongly representable atom structures of relation algebras ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ The Polyadic Completion of a Transformation Algebra ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ The Neat Embedding Problem and the Number of Variables Required in Proofs ⋮ Some logical invariants of algebras and logical relations between algebras ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets ⋮ Canonical Relativized Cylindric Set Algebras

This page was built for publication: Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing