Codings of separable compact subsets of the first Baire class

Annals of Pure and Applied Logic 142 (1):425-441 (2006)
  Copy   BIBTEX

Abstract

Let X be a Polish space and a separable compact subset of the first Baire class on X. 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. Todorčević. 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 A of for which there does not exist a Borel set BA such that the difference BA is Ramsey-null

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
Decomposing baire functions.J. Cichoń, M. Morayne, J. Pawlikowski & S. Solecki - 1991 - Journal of Symbolic Logic 56 (4):1273 - 1283.
Characterising subsets of ω1 constructible from a real.P. D. Welch - 1994 - Journal of Symbolic Logic 59 (4):1420 - 1432.
Embeddings of countable closed sets and reverse mathematics.Jeffry L. Hirst - 1993 - Archive for Mathematical Logic 32 (6):443-449.
Extending Baire property by uncountably many sets.Paweł Kawa & Janusz Pawlikowski - 2010 - Journal of Symbolic Logic 75 (3):896-904.
Located sets and reverse mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
Baire reductions and good Borel reducibilities.Luca Motto Ros - 2010 - Journal of Symbolic Logic 75 (1):323-345.
Trichotomies for Ideals of Compact Sets.É Matheron, S. Solecki & M. Zelený - 2006 - Journal of Symbolic Logic 71 (2):586 - 598.
How Bad Is Rape?H. E. Baber - 1987 - Hypatia 2 (2):125-138.

Analytics

Added to PP
2013-12-31

Downloads
24 (#676,707)

6 months
12 (#242,841)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Every analytic set is Ramsey.Jack Silver - 1970 - Journal of Symbolic Logic 35 (1):60-64.

Add more references