Reports on Mathematical Logic

No. 43


Finite Embeddability Property for Residuated Groupoids

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.

Faculty of Mathematics and Computer Science
Adam Mickiewicz University in Pozna\'n, Poland

Back to Main Menu