1 problem

0 votes0 replies0 views
Finite representation property conjecture for relation algebra reduct signatures
Finite representation property conjecture. The signature $\tau$ has the finite representation property if and only if
Conjectureopenfinite-model-theory finite-representation-property relation-algebrasarXiv posted 2 days ago

Finite representation property conjecture for relation algebra reduct signatures