Codings of separable compact subsets of the first Baire class

From MaRDI portal



Abstract: Let X be a Polish space and K a separable compact subset of the first Baire class on X. For every sequence dense in kk, the descriptive set-theoretic properties of the set [ lbf={Lin[ n]: (f_n)_{nin L} ext{is pointwise convergent}} ] are analyzed. It is shown that if K is not first countable, then lbf is PB11-complete. This can also happen even if K is a pre-metric compactum of degree at most two, in the sense of S. Todorcevic. However, if K is of degree exactly two, then lbf is always Borel. A deep result of G. Debs implies that lbf contains a Borel cofinal set and this gives a tree-representation of kk. We show that classical ordinal assignments of Baire-1 functions are actually PB11-ranks on kk. We also provide an example of a SB11 Ramsey-null subset A of [n] for which there does not exist a Borel set BsupseteqA such that the difference BsetminusA is Ramsey-null.











This page was built for publication: Codings of separable compact subsets of the first Baire class

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2501537)