##
Reports on Mathematical Logic

###
No. 43

Maciej FARULEWSKI

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

maciejf@amu.edu.pl

Back to Main Menu