Some sufficient conditions for the representability of relation algebras
From MaRDI portal
Publication:1249576
DOI10.1007/BF02485385zbMath0386.03033MaRDI QIDQ1249576
Publication date: 1978
Published in: Algebra Universalis (Search for Journal in Brave)
Other algebras related to logic (03G25) Cylindric and polyadic algebras; relation algebras (03G15) Other classical set theory (including functions, relations, and set algebra) (03E20)
Related Items
Bjarni Jónsson's contributions in algebra ⋮ Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras ⋮ Weakly representable but not representable relation algebras ⋮ Isomorphic but not base-isomorphic base-minimal cylindric set algebras ⋮ A non-representable cylindric algebra with pairing functions ⋮ Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) ⋮ On varieties of cylindric algebras with applications to logic ⋮ Subcompletions of representable relation algebras ⋮ Total tense algebras and symmetric semiassociative relation algebras ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Decidable and undecidable logics with a binary modality ⋮ Finite, integral, and finite-dimensional relation algebras: A brief history ⋮ The calculus of relations as a foundation for mathematics ⋮ Equationally distinct countable simple {\textsf{Q}}-relation algebras ⋮ A short proof of representability of fork algebras ⋮ Alfred Tarski and undecidable theories ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ Some Varieties Containing Relation Algebras ⋮ A relation algebra which is not a cylindric reduct ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Cylindric algebras and finite polyadic algebras ⋮ Pair-Dense Relation Algebras ⋮ Functionally dense relation algebras ⋮ Free algebras in discriminator varieties ⋮ Embedding mappings and splittings with applications ⋮ Completeness of a relational calculus for program schemes ⋮ Strongly representable atom structures of relation algebras ⋮ On inducing homomorphisms between relation set algebras ⋮ Representations of distributive lattice-ordered semigroups with binary relations ⋮ Weakly associative relation algebras with projections ⋮ Weakly higher order cylindric algebras and finite axiomatization of the representables ⋮ The Neat Embedding Problem and the Number of Variables Required in Proofs ⋮ Unnamed Item ⋮ Varieties of relation algebras ⋮ Relation algebras: Concept of points and representability ⋮ A completeness theorem for higher order logics ⋮ Tarskian Classical Relevant Logic ⋮ Łukasiewicz-Moisil relation algebras
Cites Work
