An application of a representation theorem for fuzzy metrics to domain theory

In this paper we study the interplay between fuzzy metric spaces and domain theory using the representation theorem established in Mardones-Pérez and de Prada Vicente (2012) [12]. We will prove that suitable restrictions of completeness in fuzzy metric spaces correspond to a structure of domain in the poset of formal balls endowed with appropriate orders.