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.
A locallic version of Hager’s metric-fine spaces is presented. A general definition of -fineness is given and various special cases are considered, notably all metric frames, complete metric frames. Their interactions with each other, quotients, separability, completion and other topological properties are discussed.