English

Generalized Choquet spaces

Logic 2019-08-16 v2

Abstract

We introduce an analog to the notion of Polish space for spaces of weight κ\leq\kappa, where κ\kappa is an uncountable regular cardinal such that κ<κ=κ\kappa^{<\kappa}=\kappa. Specifically, we consider spaces in which player II has a winning strategy in a variant of the strong Choquet game which runs for κ\kappa many rounds. After discussing the basic theory of these games and spaces, we prove that there is a surjectively universal such space and that there are exactly 2κ2^\kappa many such spaces up to homeomorphism. We also establish a Kuratowski-like theorem that under mild hypotheses, any two such spaces of size >κ>\kappa are isomorphic by a κ\kappa-Borel function. We then consider a dynamic version of the Choquet game and show that in this case the existence of a winning strategy for player II implies the existence of a winning tactic, that is, a strategy that depends only on the most recent move. We also study a generalization of Polish ultrametric spaces where the ultrametric is allowed to take values in a set of size κ\kappa. We show that in this context, there is a family of universal Urysohn-type spaces, and we give a characterization of such spaces which are hereditarily κ\kappa-Baire.

Keywords

Cite

@article{arxiv.1310.6685,
  title  = {Generalized Choquet spaces},
  author = {Samuel Coskey and Philipp Schlicht},
  journal= {arXiv preprint arXiv:1310.6685},
  year   = {2019}
}
R2 v1 2026-06-22T01:53:37.397Z