Definability and reducibility in higher types over the reals
by
Dag Normann
| Venue: | the proceedings of Logic Colloquium ’03 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Normann_definabilityand,
author = {Dag Normann},
title = {Definability and reducibility in higher types over the reals},
booktitle = {the proceedings of Logic Colloquium ’03},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We consider sets CtR(σ) of total, continuous functionals of type σ over the reals. A subset A ⊆ CtR(σ) is reducible if A can be reduced to totality in one of the other spaces. We show that all Polish spaces are homeomorphic to a reducible subset of R → R and that the class of reducible sets is closed under the formation of function spaces and some comprehension. 1
