A b s t r a c t. We prove Finite Embeddability Property (FEP) for the class of residuated groupoids. The problem whether the class has FEP was left open by Blok and van Alten in "On the finite embeddability property for residuated ordered groupoids", Transactions of the AMS 357 (2005), pp. 4141--4157. We combine proof theoretic and algebraic methods.
Back to Main Menu