Related papers: Probabilistic Powerdomains and Quasi-Continuous Do…

The aim of this paper is to study the Frechet-Urysohn property of the space $Q_p(X,\mathbb{R})$ of real-valued quasicontinuous functions, defined on a Hausdorff space $X$, endowed with the pointwise convergence topology. It is proved that…

We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine non-determinism with probabilistic behaviour. The theorem…

For a $T_0$ space $X$, let $\mk (X)$ be the poset of all compact saturated sets of $X$ with the reverse inclusion order. The space $X$ is said to have property Q if for any $K_1, K_2\in \mk (X)$, $K_2\ll K_1$ in $\mk (X)$ if{}f…

We prove that a function $f:X\to Y$ from a first-countable (more generally, Preiss-Simon) space $X$ to a regular space $Y$ is weakly discontinuous (which means that every subspace $A\subset X$ contains an open dense subset $U\subset A$ such…

We investigate the Eilenberg-Moore algebras of the extended probabilistic powerdomain monad $\mathcal V_w$ over the category $\mathbf{TOP}_0$ of $T_0$ topological spaces and continuous maps. We prove that every $\mathcal V_w$-algebra in our…

A strong mode of a probability measure on a normed space $X$ can be defined as a point $u$ such that the mass of the ball centred at $u$ uniformly dominates the mass of all other balls in the small-radius limit. Helin and Burger weakened…

In this article, we introduce pseudo-absolute values, which generalise usual absolute values. Roughly speaking, a pseudo-absolute value on a field $K$ is a map $|\cdot| : K \to [0,+\infty]$ satisfying axioms similar to those of usual…

We prove that the Lyapunov exponents, cosidered as functions of measures with non compact support, are semicontinuous with respect to the Wasserstein topology but not with respect to the weak* topology. Moreover, we prove that they are not…

The symbol $\mathcal{S}(X)$ denotes the hyperspace of finite unions of convergent sequences in a Hausdorff space $X$. This hyperspace is endowed with the Vietoris topology. First of all, we give a characterization of convergent sequence in…

We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain…

We introduce the weaker forms of the Scheepers property, namely almost Scheepers (${\sf aS}$), weakly Scheepers in the sense of Sakai (${\sf wS}$) and weakly Scheepers in the sense of Ko\v{c}inac (${\sf wS_k}$). We explore many topological…

A Tychonoff space $X$ is called ({\em sequentially}) {\em Ascoli} if every compact subset (resp. convergent sequence) of $C_k(X)$ is equicontinuous, where $C_k(X)$ denotes the space of all real-valued continuous functions on $X$ endowed…

Suppose that $X$ and $Y$ are quasiconvex and complete metric spaces, that $G\subset X$ and $G'\subset Y$ are domains, and that $f: G\to G'$ is a homeomorphism. In this paper, we first give some basic properties of short arcs, and then we…

In many-to-many matching models, substitutable preferences constitute the largest domain for which a pairwise stable matching is guaranteed to exist. In this note, we extend the recently proposed algorithm of Hatfield et al. [3] to test…

We study point processes on the real line whose configurations $X$ are locally finite, have a maximum and evolve through increments which are functions of correlated Gaussian variables. The correlations are intrinsic to the points and…

Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds of continuous domains by means of closure spaces. By…

We prove that almost all random subsets of a finite vector space are weak Salem sets (small Fourier coefficient), which extends a result of Hayes to a different probability model.

We consider a system of weak* closed sets of finite-dimensional distributions. We show that a corresponding system of random variables can be defined on a probability space with a probability measure determined up to some set of measures,…

Given two families of continuous functions $u$ and $v$ on a topological space $X$, we define a preorder $R=R(u,v)$ on $X$ by the condition that any member of $u$ is an $R$-increasing and any member of $v$ is an $R$-decreasing function. It…

We consider a topological space with its subbase which induces a coding for each point. Every second-countable Hausdorff space has a subbase that is the union of countably many pairs of disjoint open subsets. A dyadic subbase is such a…