Related papers: Approaching metric domains
We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…
We introduced the concept of a metric value set (MVS) in an earlier paper \cite{GM} and developed the idea further in \cite{AS}. In this paper we study locally $M$-metrizable spaces and the products of $M$-metrizable spaces. Finally we…
In this paper,the concepts of generalized ideal inf-limit and generalized ideal final lower bound limit are introduced in the directed complete poset,and their relations with Scott topology and Lawson topology are studied. The main results…
We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete…
We classify all continuous tensor product systems of Hilbert spaces which are ``infinitely divisible" in the sense that they have an associated logarithmic structure. These results are applied to the theory of E_0 semigroups to deduce that…
The purpose of this note is to illustrate a parallel between (pre)topologies when seen among convergence spaces and (pre)approach spaces when seen among convergence approach spaces, that appears to be a more complete parallel than in the…
We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational $q > 0$, there is a relation $R_{<q}(x,y)$ stating that the distance of $x$ and $y $ is less…
This paper consists of two results dealing with balanced metrics (in S. Donaldson terminology) on nonconpact complex manifolds. In the first one we describe all balanced metrics on Cartan domains. In the second one we show that the only…
We introduce a metric on the space of monetary risk measure, which generates the point-wise convergence topology and extends the metric on the initial compactum.
Conventional approaches to lattice gauge theories do not properly consider the topology of spacetime or of its fields. In this paper, we develop a formulation which tries to remedy this defect. It starts from a cubical decomposition of the…
We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the upper limit topology, which is used in solution of initial…
In this paper, we introduce the $\mathcal{F}$-metric space concept, which generalizes the metric space notion. We define a natural topology $\tau_{\mathcal{F}}$ in such spaces and we study their topological properties. Moreover, we…
For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $\Lambda$. This makes use of an isomorphism of…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
We study local connectedness, local accessibility and finite connectedness at the boundary, in relation to the compactness of the Mazurkiewicz completion of a bounded domain in a metric space. For countably connected planar domains we…
The aim of this paper is to introduce the concept of Delta-Compact spaces along with some basic properties of it. Here, we try to establish the behavior of Delta-Compact spaces under the continuous mapping. Finally, we define another…
Noncommutative lattices have been recently used as finite topological approximations in quantum physical models. As a first step in the construction of bundles and characteristic classes over such noncommutative spaces, we shall study their…
It is a well known fact that the eikonal equation is well posed in complete length spaces. Among the studied notions of solutions in the literature, there is one that can be defined in any metric space using the local (descent) slope and…
We consider the class of (possibly) infinite metric spaces with integer-valued totally split-decomposable metric and possessing an injective hull which has the structure of a polyhedral complex. For this class, we give a characterization…
We introduce the notion of echeloned spaces - an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly…