Banaschewski’s theorem for generalized MV-algebras
Ján Jakubík · Czechoslovak Mathematical Journal · 2007
A generalized MV -algebra A is called representable if it is a subdirect product of linearly ordered generalized MV -algebras. Let S be the system of all congruence relations ϱ on A such that the quotient algebra A / ϱ is representable. In the present paper we prove that the system S has a least element.