Related papers: On Scott power spaces

In this paper, we investigate the roles of compact sets in the space of tempered distributions $\mathscr{S}^{\prime}$. The key notion is "k-spaces", which constitute a fairly general class of topological spaces. In a k-space, the system of…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

Given a compact space $K$, we denote by $P(K)$ the space of all Radon probability measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. For nonmetrizable compacta $K$ even basic properties of $P(K)$ spaces…

Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, which is defined for Us-admitting dcpos, where Us-admissability…

We discuss a natural topology on powers of a space that is inspired by the Vietoris topology on compact subsets. We then place this topology in context with other product topologies; specifically, we compare this topology with the Tychonoff…

For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $\phi:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a…

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling…

We show that, under suitably general formulations, covering properties, accumulation properties and filter convergence are all equivalent notions. This general correspondence is exemplified in the study of products. Let $X$ be a product of…

We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness…

In this paper, we first prove that the retract of a consonant space (or co-consonant space) is consonant (co-consonant). Using this result, some related results have obtained. Simultaneously, we proved that (1) the co-consonance of the…

We consider classes T of topological spaces (referred to as T-spaces) that are stable under continuous images and frequently under arbitrary products. A local T-space has for each point a neighborhood base consisting of subsets that are…

An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…

In this paper, we introduce the concept of $d^{\ast}$-spaces. We find that strong $d$-spaces are $d^{\ast}$-spaces, but the converse does not hold. We give a characterization for a topological space to be a $d^{\ast}$-space. We prove that…

We obtain an improved version of the area theorem for not necessarily differentiable horizons which, in conjunction with a recent result on the completeness of generators, allows us to prove that under the null energy condition every…

We are interested in proving input-output properties of functions that handle infinite data such as streams or non-wellfounded trees. We provide a finitary refinement type system which is (sound and) complete for Scott-open properties…

This paper divides into two parts. Let $(X,\omega)$ be a compact Hermitian manifold. Firstly, if the Hermitian metric $\omega$ satisfies the assumption that $\partial\overline{\partial}\omega^k=0$ for all $k$, we generalize the volume of…

A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections.…

We study two classes of spaces whose points are filters on partially ordered sets. Points in MF spaces are maximal filters, while points in UF spaces are unbounded filters. We give a thorough account of the topological properties of these…

We undertake the first comprehensive and quantitative real-space analysis of the cosmological information content in the environments of the cosmic web (voids, filaments, walls, and nodes) up to non-linear scales, $k = 0.5$ $h$/Mpc. Relying…

The countable uniform power (or uniform box product) of a uniform space $X$ is a special topology on ${}^{\omega}X$ that lies between the Tychonoff topology and the box topology. We solve an open problem posed by P. Nyikos showing that if…