Relation algebras from cylindric algebras. I

DOI10.1016/S0168-0072(01)00084-7zbMath1001.03057OpenAlexW4212821336WikidataQ126352933 ScholiaQ126352933MaRDI QIDQ5956889

I. M. Hodkinson, Robin Hirschl

Publication date: 11 December 2002

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(01)00084-7

zbMATH Keywords

representationrelation algebrascylindric algebrasequational classhyperbasisrecursive equational axiomatization

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Automorphisms and endomorphisms of algebraic structures (08A35)

Related Items (3)

Omitting types for finite variable fragments and complete representations of algebras ⋮ Relation algebras from cylindric algebras. II ⋮ Algebraic Logic, Where Does it Stand Today?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras by games
• The representation of relation algebras. II
• Relation algebras and projective geometries
• A sequent calculus for relation algebras
• Cylindric algebras. Part II
• Defining relations for full semigroups of finite transformations
• Infinitary logic and inductive definability over finite structures
• Relation algebras with \(n\)-dimensional relational bases
• On representable relation algebras
• On the representation theory for cylindric algebras
• The representation of relational algebras
• Representability is not decidable for finite relation algebras
• Axiomatising Various Classes of Relation and Cylindric Algebras
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Some Varieties Containing Relation Algebras
• Relation algebras of every dimension
• Idempotent generators in finite full transformation semigroups
• Nonfinite axiomatizability results for cylindric and relation algebras
• Finite algebras of relations are representable on finite sets
• Step by step – Building representations in algebraic logic
• Complete representations in algebraic logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Nonfinitizability of classes of representable cylindric algebras
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Sur l'extension aux relations de quelques propriétés des ordres
• Relation algebras from cylindric algebras. II

This page was built for publication: Relation algebras from cylindric algebras. I