Pages that link to "Item:Q4834295"
From MaRDI portal
The following pages link to Completely Representable Relation Algebras (Q4834295):
Displaying 13 items.
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- Finitely representable nested relations (Q1606935) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← links)
- Nonrepresentable relation algebras generated by functional elements (Q2577687) (← links)
- Representability is not decidable for finite relation algebras (Q2701663) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- (Q4240999) (← links)
- Universal classes of simple relation algebras (Q4262570) (← links)
- The lattice of varieties of representable relation algebras (Q4302359) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
