- -

Listar por palabra clave "Formal ball"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Formal ball"

Ordenar por:Orden:Resultados:

  • thumb
    A domain-theoretic approach to fuzzy metric spaces 
    Ricarte Moreno, Luis Alberto; Romaguera Bonilla, Salvador (Elsevier, 2014-02)
    We introduce a partial order (sic)(M) on the set BX of formal balls of a fuzzy metric space (X, M, Lambda) in the sense of Kramosil and Michalek, and discuss some of its properties. We also characterize when the poset (BX, ...
  • thumb
    Complete partial metric spaces have partially metrizable computational models 
    Romaguera Bonilla, Salvador; Tirado Peláez, Pedro; Valero Sierra, Óscar (Taylor & Francis Ltd, 2012)
    We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known ...
  • thumb
    On the construction of domains of formal balls for uniform spaces 
    Romaguera Bonilla, Salvador; Sanchez Granero, Miguel Angel; Sanchis Lopez, Manuel (Elsevier, 2014-03)
    In the spirit of the well-known constructions of Edalat and Heckmann for metric spaces, we endow the set of formal (closed) balls of a given uniform space with a structure of poset and prove several of its properties, which ...
  • thumb
    On the domain of formal balls of the Sorgenfrey quasi-metric space 
    Romaguera Bonilla, Salvador; Schellekens, Michel; Tirado Peláez, Pedro; Valero Sierra, Óscar (Elsevier, 2016)
    [EN] We show that the poset of formal balls of the Sorgenfrey quasi-metric space is an omega-continuous domain, and deduce that it is also a computational model, in the sense of R.C. Flagg and R. Kopperman, for the Sorgenfrey ...