Maximal completion of a pseudo MV-algebra
In the present paper we investigate the relations between maximal completions of lattice ordered groups and maximal completions of pseudo -algebras.
In the present paper we investigate the relations between maximal completions of lattice ordered groups and maximal completions of pseudo -algebras.
We study free sequences and related notions on Boolean algebras. A free sequence on a BA is a sequence of elements of , with an ordinal, such that for all with we have . A free sequence of length exists iff the Stone space has a free sequence of length in the topological sense. A free sequence is maximal iff it cannot be extended at the end to a longer free sequence. The main notions studied here are the spectrum function and the associated min-max function Among the results...
In set theory without the axiom of choice (AC), we observe new relations of the following statements with weak choice principles.
In this paper we define maximal MV-algebras, a concept similar to the maximal rings and maximal distributive lattices. We prove that any maximal MV-algebra is semilocal, then we characterize a maximal MV-algebra as finite direct product of local maximal MV-algebras.