Perfect subsets of generalized Baire spaces and long games
Abstract
We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space , where is an uncountable cardinal with . In the first main theorem, we show that that the perfect set property for all subsets of that are definable from elements of is consistent relative to the existence of an inaccessible cardinal above . In the second main theorem, we introduce a Banach-Mazur type game of length and show that the determinacy of this game, for all subsets of that are definable from elements of as winning conditions, is consistent relative to the existence of an inaccessible cardinal above . We further obtain some related results about definable functions on and consequences of resurrection axioms for definable subsets of .
Keywords
Cite
@article{arxiv.1703.10148,
title = {Perfect subsets of generalized Baire spaces and long games},
author = {Philipp Schlicht},
journal= {arXiv preprint arXiv:1703.10148},
year = {2017}
}