Related papers: Supercompact minus compact is super

We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…

An elementary proof is given for the fact that every locally compact subsemigroup of a compact topological group is a closed subgroup. A sample consequence is that every commutative cancellative pseudocompact locally compact Hausdorff…

The notion of Hausdorff number of a topological space is first introduced in \cite{bonan}, with the main objective of using this notion to obtain generalizations of some known bounds for cardinality of topological spaces. Here we consider…

We introduce a covering notion depending on two cardinals, which we call $\mathcal O $-$ [ \mu, \lambda ]$-compactness, and which encompasses both pseudocompactness and many other generalizations of pseudocompactness. For Tychonoff spaces,…

In the present paper we establish that the space $\exp_\beta X$ of compact subsets of a Tychonoff space $X$ is superparacompact iff $X$ is so. Further, we prove the Tychonoff map $\exp_{\beta} f:\ \exp_{\beta} X\rightarrow \exp_{\beta} Y$…

It is a classical theorem of Alexandroff that a locally compact Hausdorff space has a one-point Hausdorff compactification if and only if it is non-compact. The one-point Hausdorff compactification is indeed obtained by adding the so called…

Let $f$ and $g$ be scalar-valued, continuous functions on some topological space. We say that $g$ dominates $f$ in the compatibility ordering if $g$ coincides with $f$ on the support of $f$. We prove that two compact Hausdorff spaces are…

Uniformly star superparacompactness, which is a topological property between compactness and completeness, can be characterized using finite-component covers and a measure of strong local compactness. Using these finite-component covers and…

A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…

The Noetherian type of a space is the least k for which the space has a k^op-like base, i.e., a base in which no element has k-many supersets. We prove some results about Noetherian types of (generalized) ordered spaces and products…

A Hausdorff topological space $X$ is called $\textit{superconnected}$ (resp. $\textit{coregular}$) if for any nonempty open sets $U_1,\dots U_n\subseteq X$, the intersection of their closures $\bar U_1\cap\dots\cap\bar U_n$ is not empty…

All spaces are assumed to be infinite Hausdorff spaces. We call a space "anti-Urysohn" $($AU in short$)$ iff any two non-emty regular closed sets in it intersect. We prove that $\bullet$ for every infinite cardinal ${\kappa}$ there is a…

We observe that the notions of a topological space being extremally disconnected, and of a continuous map of compact Hausdorff spaces being proper, and being surjective proper, can each be defined in terms of the Quillen lifting property…

Let $X$ be a Banach space. We study the circumstances under which there exists an uncountable set $\mathcal A\subset X$ of unit vectors such that $\|x-y\|>1$ for distinct $x,y\in \mathcal A$. We prove that such a set exists if $X$ is…

We prove that a Hausdorff space $X$ is very $\mathrm I$-favorable if and only if $X$ is the almost limit space of a $\sigma$-complete inverse system consisting of (not necessarily Hausdorff) second countable spaces and surjective d-open…

Assume hat a functionally Hausdorff space $X$ is a continuous image of a \v{C}ech complete space $P$ with Lindel\"of number $l(P)<\mathfrak c$. Then the following conditions are equivalent: (i) every compact subset of $X$ is scattered, (ii)…

Hurewicz' characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the…

The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure,…

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…