1 problem

Matching

Finite representation property conjecture for relation algebra reduct signatures
About 5 years old
Finite representation property conjecture. The signature $\tau$ has the finite representation property if and only if
openfinite-model-theory finite-representation-property relation-algebras
010

Finite representation property conjecture for relation algebra reduct signatures