A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
From MaRDI portal
Publication:3487342
DOI10.2307/2000932zbMath0707.03053OpenAlexW4229835465MaRDI QIDQ3487342
No author found.
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
relation algebrascylindric algebrasResek-Thompson theoremfinite set of equations axiomatizing the class of algebras of n-ary relations
Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Other infinitary logic (03C75) Abstract model theory (03C95)
Related Items (24)
Bjarni Jónsson's contributions in algebra ⋮ Quasi-polyadic algebras and their dual position ⋮ Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras ⋮ On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ Taming logic ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ On the representability of neatly embeddable CA's by cylindric relativized algebras ⋮ A short proof of representability of fork algebras ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ How many varieties of cylindric algebras are there ⋮ Finitary polyadic algebras from cylindric algebras ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Cylindric algebras and finite polyadic algebras ⋮ Some results about neat reducts ⋮ Relation algebras from cylindric algebras. I ⋮ Geometrical representation theorems for cylindric-type algebras ⋮ THE ALGEBRA OF STRAND SPLITTING II: A PRESENTATION FOR THE BRAID GROUP ON ONE STRAND ⋮ A note on substitutions in representable cylindric algebras ⋮ On conservative extensions in logics with infinitary predicates ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets ⋮ Canonical Relativized Cylindric Set Algebras and Weak Associativity ⋮ Canonical Relativized Cylindric Set Algebras
This page was built for publication: A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
