The following pages link to Relation algebras by games (Q700879):
Displaying 50 items.
- Representations of polyadic-like equality algebras (Q2634710) (← links)
- Domain range semigroups and finite representations (Q2695374) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions (Q2921030) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- The polyadic generalization of the Boolean axiomatization of fields of sets (Q3116577) (← links)
- Axiomatising Various Classes of Relation and Cylindric Algebras (Q3126404) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- Weak representations of relation algebras and relational bases (Q3173530) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Relator Games on Groups (Q3390726) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)
- Weakly associative relation algebras with projections (Q3619868) (← links)
- A simple construction of representable relation algebras with non-representable completions (Q3632521) (← links)
- (Q4011738) (← links)
- The Structure of Relation Algebras Generated by Relativizations (Q4293503) (← links)
- Stone type representation theorems via games (Q4614240) (← links)
- A representation theorem for measurable relation algebras with cyclic groups (Q4633775) (← links)
- THE VARIETY OF COSET RELATION ALGEBRAS (Q4647114) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731) (← links)
- Undecidability of Algebras of Binary Relations (Q5015973) (← links)
- Canonical Relativized Cylindric Set Algebras and Weak Associativity (Q5015977) (← links)
- Blow Up and Blur Constructions in Algebraic Logic (Q5015978) (← links)
- Relator games on groups (Q5041710) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- Geometrical representation theorems for cylindric-type algebras (Q5215389) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Relation algebra reducts of cylindric algebras and complete representations (Q5294031) (← links)
- ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS (Q5361138) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
- On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
- Canonical varieties with no canonical axiomatisation (Q5461397) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- MacNeille completions and canonical extensions (Q5705523) (← links)
- THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF REPRESENTABLE RELATION ALGEBRAS OVER WEAKLY REPRESENTABLE RELATION ALGEBRAS (Q5737952) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
- FINITE RELATION ALGEBRAS (Q6103467) (← links)
