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

relation algebrascylindric algebrasResek-Thompson theoremfinite set of equations axiomatizing the class of algebras of n-ary relations

Mathematics Subject Classification ID

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

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

(28)

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

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)