arXiv:2301.11805 [math.LO]AbstractReferencesReviewsResources
A game for Baire's grand theorem
Published 2023-01-27Version 1
Generalizing a result of Kiss, we provide a game that characterizes Baire class 1 functions between arbitrary separable metrizable spaces. We show that the determinacy of our game is equivalent to a generalization of Baire's grand theorem, and that both these statements hold under AD and in Solovay's model.
Comments: 11 pages, to be submitted
Categories: math.LO
Related articles: Most relevant | Search more
Linear ROD subsets of Borel partial orders are countably cofinal in Solovay's model
arXiv:1309.3938 [math.LO] (Published 2013-09-16)
Models of Cohen measurability
Models of real-valued measurability