English

Perfect subsets of generalized Baire spaces and long games

Logic 2017-06-14 v2

Abstract

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space λλ{}^\lambda\lambda, where λ\lambda is an uncountable cardinal with λ<λ=λ\lambda^{<\lambda}=\lambda. In the first main theorem, we show that that the perfect set property for all subsets of λλ{}^{\lambda}\lambda that are definable from elements of λOrd{}^\lambda\mathrm{Ord} is consistent relative to the existence of an inaccessible cardinal above λ\lambda. In the second main theorem, we introduce a Banach-Mazur type game of length λ\lambda and show that the determinacy of this game, for all subsets of λλ{}^\lambda\lambda that are definable from elements of λOrd{}^\lambda\mathrm{Ord} as winning conditions, is consistent relative to the existence of an inaccessible cardinal above λ\lambda. We further obtain some related results about definable functions on λλ{}^\lambda\lambda and consequences of resurrection axioms for definable subsets of λλ{}^\lambda\lambda.

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}
}