Related papers: On Scott power spaces
The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…
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…
In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…
We prove that compact Cauchy horizons in a smooth spacetime satisfying the null energy condition are smooth. As an application, we consider the problem of determining when a cobordism admits Lorentzian metrics with certain properties. In…
In this paper, we show that the low energy spaces in the prescribed singularity case $\mathcal{E}_{\psi}(X,\theta,\phi)$ have a natural topology which is completely metrizable. This topology is stronger than convergence in capacity.
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
For each countable ordinal $\alpha$ let $\mathcal{S}_{\alpha}$ be the Schreier set of order $\alpha$ and $X_{\mathcal{S}_\alpha}$ be the corresponding Schreier space of order $\alpha$. In this paper we prove several new properties of these…
In \cite{E_2018}, Ern\'e relaxed the concept of sobriety in order to extend the theory of sober spaces and locally hypercompact spaces to situations where directed joins were missing, and introduced three kinds of non-sober spaces: cut…
We introduce soft bitopological spaces from the standpoint of soft elements. A soft bitopological space is a soft set equipped with two soft topologies. Following the classical construction of Goldar--Ray, each soft topology on $F$ induces…
The paper presents some weak compactness criterion for a subset $M$ of the set $\mathfrak{RM}_b(T,\mathcal{G})$ of all positive bounded Radon measures on a Hausdorff topological space $(T,\mathcal{G})$ similar to the Prokhorov criterion for…
Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…
In the presence of suitable power spaces, compactness of $\mathbf{X}$ can be characterized as the singleton $\{X\}$ being open in the space $\mathcal{O}(\mathbf{X})$ of open subsets of $\mathbf{X}$. Equivalently, this means that universal…
For a Tychonoff space $X$, let $C_k(X)$ and $C_p(X)$ be the spaces of real-valued continuous functions $C(X)$ on $X$ endowed with the compact-open topology and the pointwise topology, respectively. If $X$ is compact, the classic result of…
Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…
Perfect fluid tori with uniform distribution of the specific angular momentum orbiting the Kerr-de Sitter black holes or naked singularities are studied. Closed equipotential surfaces corresponding to stationary toroidal discs are allowed…
The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral…
In the absence of the Axiom of Choice, necessary and sufficient conditions for a locally compact Hausdorff space to have all non-empty second-countable compact Hausdorff spaces as remainders are given in $\mathbf{ZF}$. Among other…
The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…
Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are…
In many applications it is important to establish if a given topological preordered space has a topology and a preorder which can be recovered from the set of continuous isotone functions. Under antisymmetry this property, also known as…