English

Generalized Borel Sets

Logic 2025-11-20 v1

Abstract

Generalizing classical descriptive set theory opens foundational questions about the Borel hierarchy. In this paper we systematically study those questions, working in the general framework of Polish-like spaces relative to an uncountable cardinal κ\kappa, possibly singular, satisfying 2<κ=κ2^{<\kappa}=\kappa. We provide fundamental properties of the κ+\kappa^+-Borel hierarchy of any regular Hausdorff space of weight at most κ\kappa, and establish sufficient conditions for its non-collapse. We highlight a unique phenomenon that arises in the case of singular cardinals, namely, the existence of a second, distinct Borel hierarchy, the κ\kappa-Borel hierarchy: we prove that it is strictly finer than the κ+\kappa^+-Borel hierarchy, and then characterize the precise relationship between the two. Finally, for regular cardinals, we resolve three questions about the behavior of the κ+\kappa^+-Borel hierarchy on subspaces of the generalized Baire space κκ{}^\kappa \kappa, constructing various models via forcing where several nontrivial constellations for the length of the κ+\kappa^+-Borel hierarchy on the space are realized.

Keywords

Cite

@article{arxiv.2511.15663,
  title  = {Generalized Borel Sets},
  author = {Claudio Agostini and Nick Chapman and Luca Motto Ros and Beatrice Pitton},
  journal= {arXiv preprint arXiv:2511.15663},
  year   = {2025}
}
R2 v1 2026-07-01T07:45:48.718Z