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 κ, possibly singular, satisfying 2^{<κ} = κ. We provide fundamental properties of the κ^+-Borel hierarchy of any regular Hausdorff space of weight at most κ, 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 κ-Borel hierarchy: we prove that it is strictly finer than the κ^+-Borel hierarchy, and then characterize the precise relationship between the two. Finally, for regular cardinals, we resolve three questions about the behavior of the κ^+-Borel hierarchy on subspaces of the generalized Baire space κ^κ, constructing various models via forcing where several nontrivial constellations for the length of the κ^+-Borel hierarchy on the space are realized.

Generalized Borel sets

Claudio Agostini;Luca Motto Ros;Beatrice Pitton
2026-01-01

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 κ, possibly singular, satisfying 2^{<κ} = κ. We provide fundamental properties of the κ^+-Borel hierarchy of any regular Hausdorff space of weight at most κ, 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 κ-Borel hierarchy: we prove that it is strictly finer than the κ^+-Borel hierarchy, and then characterize the precise relationship between the two. Finally, for regular cardinals, we resolve three questions about the behavior of the κ^+-Borel hierarchy on subspaces of the generalized Baire space κ^κ, constructing various models via forcing where several nontrivial constellations for the length of the κ^+-Borel hierarchy on the space are realized.
2026
1
57
https://arxiv.org/abs/2511.15663
Generalized descriptive set theory, higher Baire spaces, generalized Borel sets and functions, hierarchies of definable sets
Claudio Agostini; Nick Chapman; Luca Motto Ros; Beatrice Pitton
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/2169175
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact