Related papers: Remarks on aleph_1-metrizable not metrizable first…
In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…
We prove that the existence of a non-special tree of size $\lambda$ is equivalent to the existence of an uncountably chromatic graph with no $K_{\omega_1}$ minor of size $\lambda$, establishing a connection between the special tree number…
We investigate different notions of "computable topological base" for represented spaces. We show that several non-equivalent notions of bases become equivalent when we consider computably enumerable bases. This indicates the existence of a…
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 compact space $K$ we denote by $C_w(K)$ ($C_p(K)$) the space of continuous real-valued functions on $K$ endowed with the weak (pointwise) topology. In this paper we address the following basic question which seems to be open: Suppose…
We give an example of a computably enumerable closed subset of [0,1] that is not homeomorphic to any computably compact space. This answers a question of Koh, Melnikov and Ng.
A metric space $X$ is quasisymmetrically co-Hopfian if every quasisymmetric embedding of $X$ into itself is onto. We construct the first examples of metric spaces homeomorphic to the universal Menger curve and higher dimensional…
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we…
A pure topological characterization of primitive ideal spaces of separable nuclear C*-algebras is given. We show that a $T_0$-space $X$ is a primitive ideal space of a separable nuclear C*-algebra $A$ if and only if $X$ is point-complete…
Given a positive function $F$ on $S^n$ which satisfies a convexity condition, for $1\leq r\leq n$, we define the $r$-th anisotropic mean curvature function $H^F_r$ for hypersurfaces in $\mathbb{R}^{n+1}$ which is a generalization of the…
We give a short proof that any non-zero Euclidean space has a compact subset of Hausdorff dimension one that contains a differentiability point of every real-valued Lipschitz function defined on the space.
The compact Hausdorff space X has the Complex Stone-Weierstrass Property (CSWP) iff it satisfies the complex version of the Stone-Weierstrass Theorem. W. Rudin showed that all scattered spaces have the CSWP. We describe some techniques for…
In this paper, we mainly investigate the quotient spaces G/H when G is a strongly topological gyrogroup and H is a strong subgyrogroup of G. It is shown that if G is a strongly topological gyrogroup, H is a closed strong subgyrogroup of G…
We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…
We prove the consistency (modulo supercompact) of a negative answer to Arhangelskii's problem (some Hausdorff compact space cannot be partitioned to two sets not containing a closed copy of Cantor discontinuum). In this model we have CH.…
The paper describes two possible ways of extending the definition of Haar measure to non-Hausdorff locally compact groups. The first one forces compact sets to be measurable: with this construction, a counterexample to the existence of the…
Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…
In this paper, we introduce a new notion called the \emph{box-counting measure} of a metric space. We show that for a doubling metric space, an Ahlfors regular measure is always a box-counting measure; consequently, if $E$ is a self-similar…
Motivated by the result of Dantas et. al. (2023) that there exist metric spaces for which the set of strongly norm-attaining Lipschitz functions does not contain an isometric copy of $c_0$, we introduce and study a weaker notion of…
It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with his Basis Theorem for linear orders of…