A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
DOI10.2307/2000932zbMATH Open0707.03053OpenAlexW4229835465MaRDI QIDQ3487342FDOQ3487342
Author name not available (Why is that?)
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
Recommendations
relation algebrascylindric algebrasResek-Thompson theoremfinite set of equations axiomatizing the class of algebras of n-ary relations
Abstract model theory (03C95) Other algebras related to logic (03G25) Other infinitary logic (03C75) Cylindric and polyadic algebras; relation algebras (03G15)
Cited In (27)
- 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
- Relation algebras from cylindric algebras. I
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
- Canonical Relativized Cylindric Set Algebras and Weak Associativity
- Quasi-polyadic algebras and their dual position
- Cylindric algebras and finite polyadic algebras
- On the representability of neatly embeddable CA's by cylindric relativized algebras
- A note on substitutions in representable cylindric algebras
- Title not available (Why is that?)
- THE ALGEBRA OF STRAND SPLITTING II: A PRESENTATION FOR THE BRAID GROUP ON ONE STRAND
- Taming logic
- Algebraization of quantifier logics, an introductory overview
- Some results about neat reducts
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- 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
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric 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)
