We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be chosen in a hyperarithmetical way and using this we obtain some uniformity results.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm219-2-4,
author = {Vassilios Gregoriades},
title = {Turning Borel sets into clopen sets effectively},
journal = {Fundamenta Mathematicae},
volume = {219},
year = {2012},
pages = {119-143},
zbl = {1276.03038},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm219-2-4}
}
Vassilios Gregoriades. Turning Borel sets into clopen sets effectively. Fundamenta Mathematicae, Tome 219 (2012) pp. 119-143. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm219-2-4/