Related papers: Between Polish and completely Baire
Let $\I$ be an ideal on $\N$ which is either analytic or coanalytic. Assume that $(f_n)$ is a sequence of functions with the Baire property from a Polish space $X$ into a complete metric space $Z$, which is divergent on a comeager set. We…
Let $X$ be a topological space. Let $X_0 \subseteq X$ be a second countable subspace. Also, assume that $X$ is first countable at any point of $X_0$. Then we provide some conditions under which we ensure that $X_0$ is not Baire.
In 1935 K. Kuratowski posed the problem whether a function f:X ! Y , (X is completely metrizable and Y is metrizable), with the property that a preimage of each open has the Baire property, is continuous apart from a meager set. This paper…
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…
If $(X,d)$ is a Polish metric space of dimension $0$, then by Wadge's lemma, no more than two Borel subsets of $X$ can be incomparable with respect to continuous reducibility. In contrast, our main result shows that for any metric space…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
Menger's conjecture that Menger spaces are /sigma-compact is false; it is true for analytic subspaces of Polish spaces and undecidable for more complex definable subspaces of Polish spaces. For non-metrizable spaces, analytic Menger spaces…
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…
A space $X$ is projectively Hurewicz provided every separable metrizable continuous image of $X$ is Hurewicz. In this paper we prove that the projectively Hurewicz property is $t$-invariant, i.e., if $C_p(X)$ is homeomorphic to $C_p(Y)$ and…
Recall that a Hausdorff space $X$ is said to be Namioka if for every compact (Hausdorff) space $Y$ and every metric space $Z$, every separately continuous function $f:X\times{Y}\rightarrow{Z}$ is continuous on $D\times{Y}$ for some dense…
According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover…
In this paper we obtain results indicating that fine shape is tractable and "not too strong" even in the non-locally compact case, and can be used to better understand infinite-dimensional metrizable spaces and their homology theories. We…
In the presence of suitable power spaces, compactness of $\mathbf{X}$ can be characterized as the singleton $\{X\}$ being open in the space $\mathcal{O}(\mathbf{X})$ of open subsets of $\mathbf{X}$. Equivalently, this means that universal…
Quasi-Polish spaces were introduced by de Brecht as a possibly non-Hausdorff generalization of Polish spaces sharing many of their descriptive set-theoretic properties. We give a self-contained exposition of the basic theory of quasi-Polish…
It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…
In this paper, we introduced the mildly version of the Hurewicz basis covering property, studied by Babinkostova, Ko\v{c}inac, and Scheepers. A space $X$ is said to have mildly-Hurewicz property if for each sequence $\langle \mathcal{U}_n :…
In the context of generalized descriptive set theory, we systematically compare and analyze various notions of Polish-like spaces and standard $\kappa$-Borel spaces for $\kappa$ an uncountable (regular) cardinal satisfying $\kappa^{<\kappa}…
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.
A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without…
We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and…