Related papers: The class $C({\omega}_1)$ and countable net weight

For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…

In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$…

We solve a long standing question due to Arhangel'skii by constructing a compact space which has a $G_\delta$ cover with no continuum-sized ($G_\delta$)-dense subcollection. We also prove that in a countably compact weakly Lindel\"of normal…

The Axiom of Dependent Choice $\mathsf{DC}$ and the Axiom of Countable Choice $\mathsf{AC}_\omega$ are two weak forms of the Axiom of Choice that can be stated for a specific set: $\mathsf{DC}(X)$ asserts that any total binary relation on…

The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…

The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…

We show that if $Y$ is a dense subspace of a Tychonoff space $X$, then $w(X)\leq nw(Y)^{Nag(Y)}$, where $Nag(Y)$ is the Nagami number of $Y$. In particular, if $Y$ is a Lindel\"of $\Sigma$-space, then $w(X)\leq nw(Y)^\omega\leq…

We prove that the countable product of lines contains a Borel linear subspace $L\ne\mathbb R^\omega$ that cannot be covered by countably many closed Haar-meager sets. This example is applied to studying the interplay between various classes…

Here we present an overview of countably-normed spaces. We discuss the main topologies--weak, strong, and inductive--placed on the dual of a countably-normed space and discuss the sigma-fields generated by these topologies. In particular,…

The celebrated Erd\H{o}s-Hajnal Conjecture says that in any proper hereditary class of finite graphs we are guaranteed to have a clique or anti-clique of size $n^c$, which is a much better bound than the logarithmic size that is provided by…

It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such…

For a regular space $X$, the hyperspace $(CL(X), \tau_{F})$ (resp., $(CL(X), \tau_{V})$) is the space of all nonempty closed subsets of $X$ with the Fell topology (resp., Vietoris topology). In this paper, we give the characterization of…

In this note we show that every (real or complex) vector bundle over a compact rank one symmetric space carries, after taking the Whitney sum with a trivial bundle of sufficiently large rank, a metric with nonnegative sectional curvature.…

In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and…

Answering a question raised by V. V. Tkachuk, we present several examples of $\sigma$-compact spaces, some only consistent and some in ZFC, that are not countably tight but in which the closure of any discrete subset is countably tight. In…

For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative…

Cianci and Ottina proved that a homotopically trivial non-contractible finite $T_0$-space cannot have fewer than nine points and classified all such spaces with exactly nine points. The present paper completes the classification for spaces…

For a sequence $x \in l_1 \setminus c_{00}$, one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$. Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed…

In this dissertation, we compare the "classical" homology of an $\omega$-category (defined as the homology of its Street nerve) with its polygraphic homology. More precisely, we prove that both homologies generally do not coincide and call…