Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-27T05:22:16.913Z Has data issue: false hasContentIssue false

Effective properties in compact sets of Borel functions

Published online by Cambridge University Press:  26 February 2010

Gabriel Debs
Affiliation:
Equipe d'Analyse, Université Paris VI, 4, Place Jussieu, 75252—Paris cedex 05, France.
Get access

Abstract

We prove that, if (fn)n∈ω is a sequence of continuous functions on some recursively presentable Polish space, such that any pointwise cluster point of (fn)n∈ω is a Borel function, then there exists a -subsequence of (fn)n∈ω which is pointwise convergent. This is an effective version of a well known result of Bourgain, Fremlin and Talagrand.

Type
Research Article
Copyright
Copyright © University College London 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1.Bourgain, J., Fremlin, D. H. and Talagrand, M.. Pointwise compact sets of Baire measurable functions. Amer. J. Math., 100 (1978), 845886.CrossRefGoogle Scholar
2.Moschovakis, Y. N.. Descriptive Set Theory. Studies in Logic, vol. 100 (North-Holland, 1980).Google Scholar
3.Rosenthal, H. P.. Pointwise compact subsets of first Baire class. Amer. J. Math., 99 (1977), 362378.CrossRefGoogle Scholar
4.Solovay, R. M.. Hyperarithmetical encodable sets. Trans. Amer. Math. Soc., 239 (1978), 99122.CrossRefGoogle Scholar