Related papers: Some properties related to the Cantor-Bendixson de…

We study the question of which Polish groups can be realized as subgroups of the unitary group of a separable infinite-dimensional Hilbert space. We also show that for a separable unital C$^*$-algebra $A$, the identity component…

We show that for each natural $n>1$ it is consistent that there is a compact Hausdorff space $K_{2n}$ such that in $C(K_{2n})$ there is no uncountable (semi)biorthogonal sequence $(f_\xi,\mu_\xi)_{\xi\in \omega_1}$ where $\mu_\xi$'s are…

We propose and study a new approach to the topologization of spaces of (possibly not all) future-directed causal curves in a stably causal spacetime. It relies on parametrizing the curves "in accordance" with a chosen time function. Thus…

We show that if K is Rosenthal compact which can be represented by functions with countably many discontinuities then every Radon measure on K is countably determined. We also present an alternative proof of the result stating that every…

In 1967 Hajnal and Juh{\'a}sz showed that the cardinality of a first-countable Hausdorff space with the countable chain condition has cardinality at most $\mathfrak{c}$, the cardinality of the real line. We give an improvement of this…

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. (T.1) A basic property of Cantor space $2^{\mathbb{N}}$…

Tkachuk and Wilson proved that a regular first countable cellular-compact space has cardinality not exceeding the continuum. In the same paper they asked if this result continues to hold for Hausdorff spaces. Xuan and Song considered the…

We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein…

In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…

The main result of this paper is to show that, if $\kappa$ is the smallest real-valued measurable cardinal not greater than $ 2^{\aleph_0}$, then there exists a complete metric space of cardinality not greater than $ 2^{\kappa}$ admitting a…

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

We prove that it is relatively consistent with ZFC that in any perfect Polish space, for every nonmeager set A there exists a nowhere dense Cantor set C such that A intersect C is nonmeager in C. We also examine variants of this result and…

The aim of this note is to present two results that make the task of finding equivalent polyhedral norms on certain Banach spaces, having either a Schauder basis or an uncountable unconditional basis, easier and more transparent. The…

Although Berkovich spaces may fail to be metrizable when defined over too big a field, we prove that a large part of their topology can be recovered through sequences: for instance, limit points of subsets are actual limits of sequences and…

For a topological space $X$, let $X_\delta$ be the space $X$ with $G_\delta$-topology of $X$. For an uncountable cardinal $\kappa$, we prove that the following are equivalent: (1) $\kappa$ is $\omega_1$-strongly compact. (2) For every…

We prove that under certain set-theoretic assumptions every productively Lindel\"of space has the Hurewicz covering property, thus improving upon some earlier results of Aurichi and Tall.

Let $\xi\geq 1$ be a countable ordinal. We study the Borel subsets of the plane that can be made ${\bf\Pi}^0_\xi$ by refining the Polish topology on the real line. These sets are called potentially ${\bf\Pi}^0_\xi$. We give a Hurewicz-like…

Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…

A set $E$ in a Banach space $X$ is compactivorous if for every compact set $K$ in $X$ there is a nonempty, (relatively) open subset of $K$ which can be translated into $E$. In a separable Banach space, this is a sufficient condition which…

We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…