A Stone Type Representation Theorem for Algebras of Relations of Higher Rank

DOI10.2307/2000932MaRDI QIDQ3487342zbMATH OpenOpenAlexFDO

Authors

Publication date 1988

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2000932

zbMATH Keywords

cylindric algebrasfinite set of equations axiomatizing the class of algebras of n-ary relationsrelation algebrasResek-Thompson theorem

Mathematics Subject Classification ID

Other infinitary logic (03C75) Abstract model theory (03C95) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 4055679
• The polyadic generalization of the Boolean axiomatization of fields of sets
• scientific article; zbMATH DE number 67033
• Relation algebras with \(n\)-dimensional relational bases
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations

Cited in

(29)

• On conservative extensions in logics with infinitary predicates
• Algebraization of quantifier logics, an introductory overview
• Bjarni Jónsson's contributions in algebra
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• A short proof of representability of fork algebras
• The finitely axiomatizable complete theories of non-associative arrow frames
• Taming logic
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• Cylindric algebras and finite polyadic algebras
• Quasi-polyadic algebras and their dual position
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Atoms in infinite dimensional free sequence-set algebras
• Finitary polyadic algebras from cylindric algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• scientific article; zbMATH DE number 4214087 (Why is no real title available?)
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• A note on substitutions in representable cylindric algebras
• scientific article; zbMATH DE number 4055679 (Why is no real title available?)
• Canonical Relativized Cylindric Set Algebras
• Canonical Relativized Cylindric Set Algebras and Weak Associativity
• Geometrical representation theorems for cylindric-type algebras
• Stone relation algebras
• How many varieties of cylindric algebras are there
• THE ALGEBRA OF STRAND SPLITTING II: A PRESENTATION FOR THE BRAID GROUP ON ONE STRAND
• Relation algebras from cylindric algebras. I
• On the representability of neatly embeddable CA's by cylindric relativized algebras
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
• Some results about neat reducts

This page was built for publication: A Stone Type Representation Theorem for Algebras of Relations of Higher Rank

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