Let be a Polish space and a separable compact subset of the first Baire class on . For every sequence dense in , the descriptive set-theoretic properties of the set are analyzed. It is shown that if is not first countable, then is -complete. This can also happen even if is a pre-metric compactum of degree at most two, in the sense of S. Todorcevic. However, if is of degree exactly two, then is always Borel. A deep result of G. Debs implies that contains a Borel cofinal set and this gives a tree-representation of . We show that classical ordinal assignments of Baire-1 functions are actually -ranks on . We also provide an example of a Ramsey-null subset of for which there does not exist a Borel set such that the difference is Ramsey-null.

生成讲解博客的中文版本

生成AI智能校验的中文版本