Representable cylindric algebras

DOI10.1016/0168-0072(86)90061-8zbMath0616.03040OpenAlexW2013091451MaRDI QIDQ1821100

Leon Henkin, J. Donald Monk

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90061-8

zbMATH Keywords

non-representable algebrasrepresentability of cylindric algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (9)

On partially ordered semigroups of relations with domino operations. ⋮ Leon Henkin and Cylindric Algebras ⋮ Leon Henkin the Reviewer ⋮ On the representability of neatly embeddable CA's by cylindric relativized algebras ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Information Algebra ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Defining relations for full semigroups of finite transformations
• 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
• A simple, purely algebraic proof of the completeness of some first order logics
• Cylindric and Polyadic Algebras
• Nonfinitizability of classes of representable cylindric algebras
• Projective Algebra I

This page was built for publication: Representable cylindric algebras