Relation algebras from cylindric algebras. II
From MaRDI portal
Publication:5956890
DOI10.1016/S0168-0072(01)00085-9zbMath1001.03058WikidataQ127932383 ScholiaQ127932383MaRDI QIDQ5956890
Robin Hirschl, I. M. Hodkinson
Publication date: 11 December 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Complexity of proofs (03F20) Model-theoretic forcing (03C25)
Related Items (8)
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Seurat games on Stockmeyer graphs ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS ⋮ Unnamed Item ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Relation algebras from cylindric algebras. I ⋮ Algebraic Logic, Where Does it Stand Today?
Cites Work
- A sequent calculus for relation algebras
- Cylindric algebras. Part II
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Relation algebras with \(n\)-dimensional relational bases
- On the representation theory for cylindric algebras
- Representability is not decidable for finite relation algebras
- Some Varieties Containing Relation Algebras
- Relation algebras of every dimension
- Nonfinite axiomatizability results for cylindric and relation algebras
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Nonfinitizability of classes of representable cylindric algebras
- Relation algebras from cylindric algebras. I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Relation algebras from cylindric algebras. II
