Pages that link to "Item:Q2276955"
From MaRDI portal
The following pages link to A remark of representable positive cylindric algebras (Q2276955):
Displayed 5 items.
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
- The equational theory of union-free algebras of relations (Q1894553) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)