The following pages link to (Q4063140):
Displaying 10 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent (Q1169457) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras (Q2550390) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- (Q4124831) (← links)
- Substitution algebras in their relation to cylindric algebras (Q5622190) (← links)