In 2008 Juhász and Szentmiklóssy established that for every compact space $X$ there exists a discrete $D\subset X\times X$ with $\left|D\right|=d\left(X\right)$. We generalize this result in two directions: the first one is to prove that the same holds for any Lindelöf $\Sigma$-space $X$ and hence $X^{\omega }$ is $d$-separable. We give an example of a countably compact space $X$ such that $X^{\omega }$ is not $d$-separable. On the other hand, we show that for any Lindelöf $p$-space $X$ there exists a discrete subset $D\subset X\times X$ such that $\Delta =\{(x,x):x\in X\}\subset \overline{D}$; in particular, the diagonal $\Delta$ is a retract of $\overline{D}$ and the projection...

We prove the result on Baire classification of mappings $f:X\times Y\to Z$ which are continuous with respect to the first variable and belongs to a Baire class with respect to the second one, where $X$ is a $PP$-space, $Y$ is a topological space and $Z$ is a strongly $\sigma$-metrizable space with additional properties. We show that for any topological space $X$, special equiconnected space $Z$ and a mapping $g:X\to Z$ of the $(n-1)$-th Baire class there exists a strongly separately continuous mapping $f:X^n\to Z$ with the diagonal $g$. For wide classes of spaces...

Jachymski showed that the set $$\left\{(x,y)\in {𝐜}_0\times {𝐜}_0:{\left(\sum _{i=1}^n\alpha \left(i\right)x\left(i\right)y\left(i\right)\right)}_{n=1}^{\infty }\text{is}\text{bounded}\right\}$$ is either a meager subset of ${𝐜}_0\times {𝐜}_0$ or is equal to ${𝐜}_0\times {𝐜}_0$. In the paper we generalize this result by considering more general spaces than ${𝐜}_0$, namely ${𝐂}_0\left(X\right)$, the space of all continuous functions which vanish at infinity, and ${𝐂}_b\left(X\right)$, the space of all continuous bounded functions. Moreover, we replace the meagerness by $\sigma$-porosity.

There is a general conjecture, the dichotomy (C) about Borel equivalence relations E: (i) E is Borel reducible to the equivalence relation $E_G^X$ where X is a Polish space, and a Polish group acting continuously on X; or (ii) a canonical relation $E_1$ is Borel reducible to E. (C) is only proved for special cases as in [So].  In this paper we make a contribution to the study of (C): a stronger conjecture is true for hereditary subspaces of the Polish space ${ℝ}^{\omega }$ of real sequences, i.e., subspaces such that $[y={\left(y_n\right)}_n\in X$...

We prove the existence of solutions of differential inclusions on a half-line. Our results are based on an approximation method combined with a diagonalization method.