Pages that link to "Item:Q2781354"
From MaRDI portal
The following pages link to Strongly representable atom structures of relation algebras (Q2781354):
Displaying 12 items.
- Subcompletions of representable relation algebras (Q1652851) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- On the variety generated by completions of representable relation algebras (Q2297227) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
- Comer schemes, relation algebras, and the flexible atom conjecture (Q6174410) (← links)
