Related papers: Remarks on aleph_1-metrizable not metrizable first…

In this article we study for which Cantor sets there exists a gauge-function h, such that the h-Hausdorff-measure is positive and finite. We show that the collection of sets for which this is true is dense in the set of all compact subsets…

The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.

For a Hausdorff zero-dimensional topological space $X$ and a totally ordered field $F$ with interval topology, let $C_c(X,F)$ be the ring of all $F-$valued continuous functions on $X$ with countable range. It is proved that if $F$ is either…

Gelfand-Naimark duality (Commutative $C^*$-algebras $\equiv$ Locally compact Hausdorff spaces) is extended to $C^*$-algebras $\equiv$ Quotient maps on locally compact Hausdorff spaces. Using this duality, we give for an \emph{arbitrary}…

The main aim of the article is to show, in the absence of the Axiom of Choice, relationships between the following, independent of $\mathbf{ZF}$, statements: "Every countable product of compact metrizable spaces is separable (respectively,…

Certain solvable extensions of $H$-type groups provide noncompact counterexamples to the so-called Lichnerowicz conjecture, which asserted that ``harmonic'' Riemannian spaces must be rank 1 symmetric spaces.

In this note the result by A. Swift concerning the embeddability of countably branching bundle graphs into Banach spaces is extended from the context of reflexive spaces with an unconditional asymptotic structure to the context of dual…

We study the class of first-countable Lindel\"of scattered spaces, or "FLS" spaces. While every $T_3$ FLS space is homeomorphic to a scattered subspace of $\mathbb Q$, the class of $T_2$ FLS spaces turns out to be surprisingly rich. Our…

We consider the Banach space consisting of real-valued continuous functions on an arbitrary compact metric space. It is known that for a prevalent (in the sense of Hunt, Sauer and Yorke) set of functions the Hausdorff dimension of the image…

Several weakenings of the $T_2$ property for topological spaces, including $k$-Hausdorff, $KC$, weakly Hausdorff, semi-Hausdorff, $RC$, and $US$, have been studied by mathematicians. Here we provide a complete survey of how these properties…

The notion of hull-kernel topology on a collection of prime filters in a residuated lattice is introduced and investigated. It is observed that any collection of prime filters is a $T_0$ topological space under the hull-kernel and the dual…

Motivated by the main results of the articles by Hattori and Bouziad, we seek to answer the following questions about Hattori spaces. Let A be a subset of the real line, then: Given a compact set $K$ in the Euclidean topology, under what…

A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $\sigma$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for…

In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countable $T_0$ space is admissible with respect to the topology…

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

We use topological consequences of PFA, MA$_{\omega_1}$(S)[S] and PFA(S)[S] proved by other authors to show that normal first countable linearly H-closed spaces with various additionals properties are compact in these models.

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we…

We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

We study the relationship between a homological capacity $c_{\mathrm{SH}^+}(W)$ for Liouville domains $W$ defined using positive symplectic homology and the existence of periodic orbits for Hamiltonian systems on $W$: If the positive…