Related papers: Between Polish and completely Baire
A Polish space is not always homeomorphic to a computably presented Polish space. In this article, we examine degrees of non-computability of presenting homeomorphic copies of compact Polish spaces. We show that there exists a…
We study the preservation of selective covering properties, including classic ones introduced by Menger, Hurewicz, Rothberger, Gerlits and Nagy, and others, under products with some major families of concentrated sets of reals. Our methods…
In this paper, we shall study categorial properties of the hyperspace of all nontrivial convergent sequences $\mathcal{S}_c(X)$ of a Fre\'ech-Urysohn space $X$, this hyperspace is equipped with the Vietoris topology. We mainly prove that…
Let $M$ be a complete metric $ANR$-space such that for any metric compactum $K$ the function space $C(K,M)$ contains a dense set of Bing (resp., Krasinkiewicz) maps. It is shown that $M$ has the following property: If $f\colon X\to Y$ is a…
We continue to study (strong) property-$(R_1)$ in Banach spaces. As discussed by Pai \& Nowroji in [{\it On restricted centers of sets}, J. Approx. Theory, {\bf 66}(2), 170--189 (1991)], this study corresponds to a triplet…
It is proved that two useful and apparently different metrics on the set of Borel probabilities on countable products of Polish spaces of bounded diameters are equal. This paves the way for advances in their computation.
We prove several dichotomies on linear embeddings between Banach spaces. Given an arbitrary Banach space X with a basis, we show that the relations of isomorphism and bi-embedding are meager or co-meager on the Polish set of block-subspaces…
In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…
We continue to investigate various diagonalization properties for sequences of open covers of separable metrizable spaces introduced in Part I. These properties generalize classical ones of Rothberger, Menger, Hurewicz, and Gerlits-Nagy. In…
The main result of this article is: THEOREM. Every homogeneous locally conical connected separable metric space that is not a $1$-manifold is strongly $n$-homogeneous for each $n \geq 2$ and countable dense homogeneous. Furthermore,…
Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…
We prove that the homeomorphism problem for connected compact metric spaces is Borel bireducible with a universal orbit equivalence relation induced by a Borel action of a Polish group.
We characterize coset spaces of topological groups which are coset spaces of (separable) metrizable groups and complete metrizable (Polish) groups. Besides, it is shown that for a $G$-space $X$ with a $d$-open action there is a topological…
In Solovay model it is shown that the duality principle between the measure and the Baire category holds true with respect to the sentence - "The domain of an arbitrary generalized integral for a vector-function is of first category."
The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by…
It is introduced a certain approach for equipment of an arbitrary set of the cardinality of the continuum by structures of Polish groups and two-sided (left or right) invariant Haar measures. By using this approach we answer positively…
A marked metric measure space (mmm-space) is a triple (X,r,mu), where (X,r) is a complete and separable metric space and mu is a probability measure on XxI for some Polish space I of possible marks. We study the space of all (equivalence…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous…
A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…