Related papers: $\sigma$-homogeneity of Borel sets

The aim of this short note is to communicate a simple solution to the problem posed in [1] as Question 7.2.7: is it true that for every ccc $\sigma$-ideal I any I-positive Borel set contains modulo I an I-positive closed set?

We give, for some Borel sets of a product of two Polish spaces, including the Borel sets with countable sections, a Hurewicz-like characterization of those which cannot become a transfinite difference of open sets by changing the two Polish…

We prove that every Lindel\"of scattered subspace of a $\Sigma$-product of first-countable spaces is $\sigma$-compact. In particular, we obtain the result stated in the title. This answers some questions of Tkachuk from [Houston J. Math. 48…

A space $X$ is Eberlein-Grothendieck if $X\subset C_p(K)$ for some compact space $K.$ In this paper we address the problem of whether such a space $X$ is $\sigma$-discrete whenever it is scattered. We show that if $w(K)\leq\omega_1$ then…

The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever…

We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that…

A countable band $B$ is called homogeneous if every isomorphism between finitely generated subbands extends to an automorphism of $B$. In this paper we give a complete classification of all the homogeneous bands. We prove that a homogeneous…

For a sequence $x \in l_1 \setminus c_{00}$, one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$. Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed…

We make three observations regarding a question popularized by Katznelson: is every subset of $\mathbb Z$ which is a set of Bohr recurrence is also a set of topological recurrence? (i) If $G$ is a countable abelian group and $E\subset G$ is…

In 1994, John Cobb asked: given $N>m>k>0$, does there exist a Cantor set in $\mathbb R^N$ such that each of its projections into $m$-planes is exactly $k$-dimensional? Such sets were described for $(N,m,k)=(2,1,1)$ by L.Antoine (1924) and…

For a topological space X, let (RX)s := (RX,Ts) be the cartesian product of |X| copies of the real line R with the topology of the uniform convergence on separable subsets of X. In this article we analyze the subspace C(X) of (RX)s of all…

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…

We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally…

Assume hat a functionally Hausdorff space $X$ is a continuous image of a \v{C}ech complete space $P$ with Lindel\"of number $l(P)<\mathfrak c$. Then the following conditions are equivalent: (i) every compact subset of $X$ is scattered, (ii)…

We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…

We demonstrate that a reproducing kernel Hilbert or Banach space of functions on a separable absolute Borel space or an analytic subset of a Polish space is separable if it possesses a Borel measurable feature map.

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely,…

In this paper we show that if $(X,\mathcal{A})$ is a measurable space and if $Y$ is a topological model of a Lawvere theory $\mathcal{T}$ equipped with $\mathcal{B}$ the Borel $\sigma$-algebra on $Y$, then the set of…

We survey, and extend, results on the adjoint action of the homeomorphism group $H(X)$ on the space of surjective continuous maps, $C_s(X)$, where $X$ is a Cantor set. We look also at the restriction of the action to various dynamically…

Let $X$ be a zero-dimensional compact metrizable space endowed with a strictly positive continuous Borel $\sigma$-additive measure $\mu$ which is good in the sense that for any clopen subsets $U,V\subset X$ with $\mu(U)<\mu(V)$ there is a…