arXiv subjects

Luz Victoria De La Pava

Publications and source records attributed to Luz Victoria De La Pava.

3 recordsLinked to original sources

arXiv2026

Point-free MV-topologies

We propose a point-free approach to MV-topological spaces in the wake of previous works on both classical and fuzzy topology. In order to do that, we introduce suitable frame-type structures and a class of fuzzy topological spaces which includes and suitably extends the one of MV-topological spaces. Then we show an adjoint situation between such structures, and restrict such an adjointness to a duality between the corresponding classes of ``spatial frames'' and ``sober spaces''. We also use neighbourhood systems to characterize sobriety in this context.

math.LO↗

arXiv2020

Compactness in MV-Topologies: Tychonoff Theorem and Stone-Cech Compactification

In this paper, we discuss some questions about compactness in MV-topological spaces. More precisely, we first present a Tychonoff theorem for such a class of fuzzy topological spaces and some consequence of this result, among which, for example, the existence of products in the category of Stone MV-spaces and, consequently, of coproducts in the one of limit cut complete MV-algebras. Then we show that our Tychonoff theorem is equivalent, in ZF, to the Axiom of Choice, classical Tychonoff theorem, and Lowen's analogous result for lattice-valued fuzzy topology. Last, we show an extension of the Stone-Cech compactification functor to the category of MV-topological spaces, and we discuss its relationship with previous works on compactification for fuzzy topological spaces.

math.LO↗

arXiv2020

MV-Algebras as Sheaves of l-groups on Fuzzy Topological Spaces

We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an MV-sheaf of lattice-ordered Abelian groups, namely, a fuzzy sheaf in which the base (fuzzy) topological space is an MV-topological space and the stalks are Abelian $\ell$-groups.

math.LO↗