1. Banaschewski’s theorem for generalized $MV$-algebras
- Creator:
- Jakubík, Ján
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- generalized $MV$-algebra, representability, congruence relation, and unital lattice ordered group
- Language:
- English
- Description:
- A generalized $MV$-algebra $\mathcal 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 $\rho $ on $\mathcal A$ such that the quotient algebra $\mathcal A/\rho $ is representable. In the present paper we prove that the system $S$ has a least element.
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public