Related papers: Some properties related to the Cantor-Bendixson de…
We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.
We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and…
We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…
We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…
In the paper, we investigate (scattered) compact spaces with a $P$-base for some poset $P$. More specifically, we prove that, under the assumption $\omega_1<\mathfrak{b}$, any compact space with an $\omega^\omega$-base is first-countable…
This paper continues the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. In particular, we consider problems related to perfect subsets of Polish spaces, studying the perfect set…
Given a Banach space we consider the $\sigma$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the…
It is proved that the class of separable Rosenthal compacta on the Cantor set having a uniformly bounded dense sequence of continuous functions, is strongly bounded.
We investigate composition operators on Hardy-Orlicz spaces when the Orlicz function $\Psi$ grows rapidly: compactness, weak compactness, to be $p$-summing, order bounded,..., and show how these notions behave according to the growth of…
We present an alternative proof of Sanov's theorem for Polish spaces in the weak topology that follows via discretization arguments. We combine the simpler version of Sanov's Theorem for discrete finite spaces and well chosen finite…
We prove the result stated in the title. This provides a first example of an infinite-dimensional Banach space whose Lipschitz free space is isomorphic to the free space of a compact set.
We describe a self-homeomorphism $R$ of the Cantor set $X$ and then show that its conjugacy class in the Polish group $H(X)$ of all homeomorphisms of $X$ forms a dense $G_\delta$ subset of $H(X)$. We also provide an example of a locally…
We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We…
We prove that for any separable Banach space $X$, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to $X$. As a consequence we give an…
In this paper, we first show that for a countable family of random elements taking values in a partially ordered Polish space (POP), association (both positive and negative) of all finite dimensional marginals implies that of the infinite…
A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…
If B is a compact space and B\{pt} is Lindelof then B^k\{pt} is star-Linedlof for every cardinality k. If B\{pt} is compact then B^k\{pt} is discretely star-Lindelof. In particular, this gives new examples of Tychonoff discretely…
The aim of this paper is to consider questions concerning the possible maximum cardinality of various separable pseudoradial (in short: SP) spaces. The most intriguing question here is if there is, in ZFC, a regular (or just Hausdorff) SP…
We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by…
We prove that the existence of a complete metric space of cardinality at most $2^{\kappa}$ admitting Kuratowski partition is a consequence of $\kappa$ being the smallest real-valued measurable cardinal not greater than $ 2^{\aleph_0}$.