Displaying similar documents to “Direct summands and retract mappings of generalized M V -algebras”

Banaschewski’s theorem for generalized M V -algebras

Ján Jakubík (2007)

Czechoslovak Mathematical Journal

Similarity:

A generalized M V -algebra 𝒜 is called representable if it is a subdirect product of linearly ordered generalized M V -algebras. Let S be the system of all congruence relations ρ on 𝒜 such that the quotient algebra 𝒜 / ρ is representable. In the present paper we prove that the system S has a least element.