Pages that link to "Item:Q2701663"
From MaRDI portal
The following pages link to Representability is not decidable for finite relation algebras (Q2701663):
Displayed 7 items.
- Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305) (← links)
- Atom structures of cylindric algebras and relation algebras (Q1377624) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)