|
Effective refining of Borel coverings
Author(s):
Gabriel
Debs;
Jean
Saint Raymond
Journal:
Trans. Amer. Math. Soc.
361
(2009),
2831-2869.
MSC (2000):
Primary 03E15;
Secondary 03E45, 54H05
Posted:
January 22, 2009
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
Given a countable family of additive or multiplicative Baire classes ( or ) we investigate the following complexity problem: Let be a Borel covering of and assume that there exists some covering with and for all ; can one find such a family in where is any reasonable code for the families and ? The main result of the paper will give a full characterization of those families for which the answer is positive. For example we will show that this is the case if is finite or if all the Baire classes are additive, but in the general case the answer depends on the distribution of the multiplicative Baire classes inside the family .
References:
-
- 1.
- G. Debs and J. Saint Raymond, Borel liftings of Borel sets: Some decidable and undecidable statements, Memoirs of the Amer. Math. Soc. 187 (2007), no 876. MR 2308388 (2008b:03065)
- 2.
- A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, Springer-Verlag, New York, 1995. MR 1321597 (96e:03057)
- 3.
- A. Louveau, A separation theorem for
sets, Trans. Amer. Math. Soc. 260-2 (1980) 363-378. MR 0574785 (81j:04001) - 4.
- A. Louveau and J. Saint Raymond, Borel classes and closed games: Wadge-type and Hurewicz-type results, Trans. Amer. Math. Soc. 304-2 (1987) 431-467. MR 0911079 (89g:03068)
- 5.
- T. Matrai, Hurewicz tests: Separating and reducing analytic sets on the conscious way, thesis, Central European University (2005).
- 6.
- Y. N. Moschovakis, Descriptive Set Theory, North Holland, Amsterdam, 1980. MR 0561709 (82e:03002)
Similar Articles:
Retrieve articles in Transactions of the American Mathematical Society
with MSC
(2000):
03E15,
03E45, 54H05
Retrieve articles in all Journals with MSC
(2000):
03E15,
03E45, 54H05
Additional Information:
Gabriel
Debs
Affiliation:
Analyse Fonctionnelle, Institut de Mathématique de Jussieu, Boîte 186, 4 place Jussieu, F-75252 Paris Cedex 05, France
Email:
debs@math.jussieu.fr
Jean
Saint Raymond
Affiliation:
Analyse Fonctionnelle, Institut de Mathématique de Jussieu, Boîte 186, 4 place Jussieu, F-75252 Paris Cedex 05, France
Email:
raymond@math.jussieu.fr
DOI:
10.1090/S0002-9947-09-04930-7
PII:
S 0002-9947(09)04930-7
Keywords:
Covering,
separation,
effectivity,
Novikov Theorem,
distinguished tree relations
Received by editor(s):
January 30, 2006
Posted:
January 22, 2009
Copyright of article:
Copyright
2009,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|