Related papers: The core compactly generated topology
We first introduce and investigate a new class of $T_0$ spaces -- strong R-spaces, which are stronger than both R-spaces and strongly well-filtered spaces. It is proved that any sup-complete poset equipped with the upper topology is a…
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…
The notions of compactness and Hausdorff separation for generalized enriched categories allow us, as classically done for the category $\mathsf{Top}$ of topological spaces and continuous functions, to study $\textit{compactly generated…
In this paper, we provide a uniform approach to $d$-spaces, sober spaces and well-filtered spaces, and develop a general framework for dealing with all these spaces. For a subset system H, the theory of H-sober spaces and super H-sober…
We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the…
The aim of this paper is to study the topological properties of some classes of subsemimodules endowed with a subbasis closed-set topology. We show that such spaces are $T_0$. When the semimodule is finitely generated, those spaces are…
For a poset $P$, let $\sigma(P)$ and $\Gamma(P)$ respectively denote the lattice of its Scott open subsets and Scott closed subsets ordered by inclusion, and set $\Sigma P=(P,\sigma(P))$. In this paper, we discuss the lower Vietoris…
It is shown that a closed solvable subgroup of a connected Lie group is compactly generated. In particular, every discrete solvable subgroup of a connected Lie group is finitely generated. Generalizations to locally compact groups are…
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 construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of…
Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of…
The existence of closed trapped surfaces need not imply a cosmological singularity when the spatial hypersurfaces are compact. This is illustrated by a variety of examples, in particular de Sitter spacetime admits many closed trapped…
We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…
We prove that for every $T_0$ space $X$, there is a well-filtered space $W(X)$ and a continuous mapping $\eta_X: X\lra W(X)$ such that for any well-filtered space $Y$ and any continuous mapping $f: X\lra Y$ there is a unique continuous…
A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…
In this paper we have shown that a double sequence in a topological space satisfies certain conditions which in turn are capable to generate a topology on a non empty set. Also we have used the idea of I-convergence of double sequences to…
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…
In non-Hausdorff topology, many spaces exhibit significant separation properties, such as sober spaces, well-filtered spaces and d-spaces. These properties serve to fundamentally classify T0 topological spaces. In this paper, we introduce…
If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…
A topological space $X$ is cometrizable if it admits a weaker metrizable topology such that each point $x\in X$ has a (not necessarily open) neighborhood base consisting of metrically closed sets. We study the relation of cometrizable…