Representable cylindric algebras
This article is a continuation of an earlier one by the same authors [Lect. Notes Math. 883, 1-129 (1981; Zbl 0497.03025)]. It contains various sufficient conditions for representability of cylindric algebras; also three methods for constructing non-representable algebras are described. In particular, one can find one more proof of the well-known Tarski's theorem that every \(Lf_{\alpha}\) with \(\alpha\geq \omega\) is representable; the present proof is a version of Henkin's proof of the completeness theorem for first order logic. Reviewer's remark: The text of the article, almost word for word, has also been included in Sect. 3.2 (items 3.2.1-3.2.72) of the authors' monograph [Cylindric algebras, Part II (1985; Zbl 0576.03043)].
- A simple, purely algebraic proof of the completeness of some first order logics
- Cylindric and Polyadic Algebras
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
- Defining relations for full semigroups of finite transformations
- scientific article; zbMATH DE number 3534495 (Why is no real title available?)
- scientific article; zbMATH DE number 3550662 (Why is no real title available?)
- scientific article; zbMATH DE number 3614785 (Why is no real title available?)
- scientific article; zbMATH DE number 3316878 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- Nonfinitizability of classes of representable cylindric algebras
- Projective Algebra I
- Notions of density that imply representability in algebraic logic
- A remark of representable positive cylindric algebras
- On partially ordered semigroups of relations with domino operations.
- A new representation theory: representing cylindric-like algebras by relativized set algebras
- Representing all cylindric algebras by twisting on a problem of Henkin
- On nonrepresentable G-polyadic algebras with representable cylindric reducts
- Free representable cylindric algebras have the strong restricted interpolation property
- In Memoriam: Leon Albert Henkin 1921–2006
- Leon Henkin and Cylindric Algebras
- Leon Henkin the reviewer
- A note on substitutions in representable cylindric algebras
- scientific article; zbMATH DE number 67024 (Why is no real title available?)
- scientific article; zbMATH DE number 67025 (Why is no real title available?)
- scientific article; zbMATH DE number 67037 (Why is no real title available?)
- A completeness theorem for higher order logics
- The class of representable cylindric algebras has no canonical axiomatization
- Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
- Algebraic Logic and Knowledge Bases
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
- Geometrical representation theorems for cylindric-type algebras
- Information Algebra
- On the representability of neatly embeddable CA's by cylindric relativized algebras
- On some developments in the representation theory of cylindric-like algebras
This page was built for publication: Representable cylindric algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1821100)
