Pages that link to "Item:Q1337158"
From MaRDI portal
The following pages link to Weakly representable but not representable relation algebras (Q1337158):
Displaying 21 items.
- Representations of additive relation algebras by modules (Q1078216) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Weakly associative relation algebras with polyadic composition operations (Q1595918) (← links)
- On the equational complexity of RRA (Q1935010) (← links)
- Representability of Lyndon-Maddux relation algebras (Q1991584) (← links)
- Nonrepresentable relation algebras generated by functional elements (Q2577687) (← links)
- Weakly representable relation algebras form a variety (Q2655229) (← links)
- Bifunctional-elementary relation algebras (Q2655232) (← links)
- Representability of pairing relation algebras depends on your ontology (Q2708315) (← links)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- Weakly representable atom structures that are not strongly representable, with an application to first order logic (Q3506327) (← links)
- A simple construction of representable relation algebras with non-representable completions (Q3632521) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Step by step – Building representations in algebraic logic (Q4338323) (← links)
- Completely Representable Relation Algebras (Q4834295) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS (Q5737952) (← links)
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth (Q6346442) (← links)
