Pages that link to "Item:Q2701663"
From MaRDI portal
The following pages link to Representability is not decidable for finite relation algebras (Q2701663):
Displaying 25 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Representability of Ramsey relation algebras (Q745708) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Ehresmann theory and partition monoids (Q2019289) (← links)
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups (Q2520764) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS (Q3112579) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- Partial Maps with Domain and Range: Extending Schein's Representation (Q3395624) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731) (← links)
- Low Growth Equational Complexity (Q5228210) (← links)
- Embeddability into Relational Lattices Is Undecidable (Q5283216) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Relational Lattices via Duality (Q5739457) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
- Edge colourings and qualitative representations of chromatic algebras (Q6171755) (← links)
