All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is σ-homogeneous with analytic witnesses, (2) Every finite-dimensional analytic space is σ-homogeneous with pairwise disjoint Δ¹₂ witnesses. Furthermore, the complexity of the witnesses is optimal in both of the above results. This completes the picture regarding σ-homogeneity in the finite-dimensional realm. It is an open problem whether every analytic space is σ-homogeneous. We also investigate finite unions of homogeneous spaces.
No takes yet. Share an insight, caveat, or question.
Agostini et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: