Related papers: Between Polish and completely Baire

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…

In this note, we characterize when the Vietoris space of compact subsets of a given space has the Hurewicz property in terms of a selection principle on the given space itself using $k$-covers and the notion of groupability introduced by…

A long-standing question in the theory of measures of noncompactness is that for the Kuratowski measure of noncompactness $\alpha$ defined on a metric space $M$, and for every bounded subset $B\subset M$, is there a countable subset…

Let $k$ be a non-archimedean complete valued field and $X$ be a $k$-analytic space in the sense of Berkovich. In this note, we prove the equivalence between three properties: 1) for every complete valued extension $k'$ of $k$, every…

For every couple of Hausdorff functions $ \psi$ and $\varphi $ verifying some mild assumptions, there exists a compact subset $ K $ of the Baire space such that the $ \varphi$-Hausdorff measure and the $ \psi$-packing measure on $ K$ are…

We classify all Polish semigroup topologies on the symmetric inverse monoid on the natural numbers. This result answers a question of Elliott et al. There are countably infinitely many such topologies. Under containment, these Polish…

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from…

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^\lambda\lambda$, where $\lambda$ is an uncountable cardinal with $\lambda^{<\lambda}=\lambda$. In the first main theorem, we show that…

A Banach space $X$ has Pe{\l}czy\' nski's property (V) if for every Banach space $Y$ every unconditionally converging operator $T\colon X\to Y$ is weakly compact. In 1962, Aleksander Pe{\l}czy\' nski showed that $C(K)$ spaces for a compact…

Hausdorff's paradoxical decomposition of a sphere with countably many points removed (the main precursor of the Banach-Tarski paradox) actually produced a partition of this set into three pieces A,B,C such that A is congruent to B (i.e.,…

Given Banach spaces E and F, we denote by ${\mathcal P}(^k!E,F)$ the space of all k-homogeneous (continuous) polynomials from E into F, and by ${\mathcal P}_{wb}(^k!E,F)$ the subspace of polynomials which are weak-to-norm continuous on…

We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of realizations each gives for some formula. Being…

Using the property of being completely Baire, countable dense homogeneity and the perfect set property we will be able, under Martin's Axiom for countable posets, to distinguish non-principal ultrafilters on $\omega$ up to homeomorphism.…

We construct a ZFC example of a nonmetrizable compact space $K$ such that every totally disconnected closed subspace $L\subseteq K$ is metrizable. In fact, the construction can be arranged so that every nonmetrizable compact subspace may be…

A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,...,…

A recent result of T.~Abrahamsen, P.~H\'ajek and S.~Troyanski states that a separable Banach space is almost square if and only if there exists $h\in S_{X^{****}}$ such that $\|x+h\|=\max\{\|x\|,1\}$ for all $x\in X$. The proof passes…

A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{{\downarrow}F}(X)$ be the space of continuous real-valued functions on $X$,…

We answer a question of Piotr Minc by proving that there is no compact metrizable space whose set of components contains a unique topological copy of every metrizable compactification of a ray (i.e. a half-open interval) with an arc (i.e.…

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…