Relation algebras from cylindric algebras. I

DOI10.1016/S0168-0072(01)00084-7zbMATH Open1001.03057OpenAlexW4212821336WikidataQ126352933 ScholiaQ126352933MaRDI QIDQ5956889FDOQ5956889

Authors: Robin Hirsch, Ian Hodkinson 

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

Recommendations

• scientific article; zbMATH DE number 1735912
• Relation algebras from cylindric algebras. II
• Relativized relation algebras
• \(\mathfrak{Ra}\mathrm{CA}_{n}\) is not elementary, for \(n\geq 5\)
• Relation algebras with \(n\)-dimensional relational bases

zbMATH Keywords

representationrelation algebrascylindric algebrasequational classrecursive equational axiomatizationhyperbasis

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (18)

• Relation algebras of every dimension
• Weak representations of relation algebras and relational bases
• Canonical Relativized Cylindric Set Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Logic, Where Does it Stand Today?
• Connections between quasi-projective relation algebras and cylindric algebras
• Relation algebras from cylindric algebras. II
• Title not available (Why is that?)
• Relation algebra reducts of cylindric algebras and complete representations
• Omitting types for finite variable fragments and complete representations of algebras
• \(\mathfrak{Ra}\mathrm{CA}_{n}\) is not elementary, for \(n\geq 5\)
• A note on atom structures of relation and cylindric algebras
• Representable cylindric algebras and many-dimensional modal logics
• A construction of cylindric and polyadic algebras from atomic relation algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956889)