Between Polish and completely Baire (Q2257113): Difference between revisions

The following properties of a separable completely metrizable space are equivalent. (\textbf{MP}) For any countable crowded subset \(Q\) there exists a crowded \(Q^{'} \subseteq Q\) with the compact closure. (\textbf{CBP}) If a closed subspace is not scattered, then it has to contain a copy of the Cantor set. (\textbf{CB}) Any closed subspace fulfills the Baire category theorem, in other words is a Baire space. It turns out that the implications: (\(X\) is separable and completely metrizable) \(\Rightarrow\) (\textbf{MP}), (\textbf{MP}) \(\Rightarrow\) (\textbf{CBP}), (\textbf{CBP}) \(\Rightarrow\) (\textbf{CB}) are fulfilled for all metrizable and separable spaces \(X\). The authors give a ZFC counterexample and a consistent definable example of lowest possible complexity: From being analytic to being \(\Delta^1_3\); to the inverse implications. Whereby, when \(X\) is a co-analytic set, then all reverse implications are fulfilled.