Pages that link to "Item:Q1249576"
From MaRDI portal
The following pages link to Some sufficient conditions for the representability of relation algebras (Q1249576):
Displayed 30 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Varieties of relation algebras (Q797616) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- A relation algebra which is not a cylindric reduct (Q911588) (← links)
- Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Isomorphic but not base-isomorphic base-minimal cylindric set algebras (Q1089337) (← links)
- A non-representable cylindric algebra with pairing functions (Q1090331) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Weakly representable but not representable relation algebras (Q1337158) (← links)
- Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) (Q1344846) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
- Total tense algebras and symmetric semiassociative relation algebras (Q1905987) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Monomorphic characterization of \(n\)-ary direct products (Q1961870) (← links)
- On inducing homomorphisms between relation set algebras (Q2277261) (← links)
- Representations of distributive lattice-ordered semigroups with binary relations (Q2277499) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- The Neat Embedding Problem and the Number of Variables Required in Proofs (Q3204457) (← links)
- Weakly associative relation algebras with projections (Q3619868) (← links)
- Some Varieties Containing Relation Algebras (Q3661577) (← links)
- Alfred Tarski and undecidable theories (Q3764095) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- A completeness theorem for higher order logics (Q4508267) (← links)
- Free algebras in discriminator varieties (Q5905422) (← links)
- Completeness of a relational calculus for program schemes (Q5940932) (← links)