The finite embeddability property for residuated groupoids. (Q2510712)

A class of algebras \(K\) has the finite embeddability property (FEP) if every finite partial subalgebra of a member of \(K\) can be embedded into a finite member of \(K\). The importance of this property stems from the fact that it implies decidability of the universal theory of \(K\). The question whether the class of residuated ordered groupoids has the FEP was answered recently by M. Farulewski using a proof-theoretical method. The algebraic proof presented here is considerably simpler. The presented construction improves the computational complexity upper bound given by Buszkowski and Farulewski.