arXiv subjects

Beatrice Pitton

Publications and source records attributed to Beatrice Pitton.

3 recordsLinked to original sources

arXiv2026

On Borel sets in ideal topologies

We study the Borel and analytic subsets of the spaces ${}^κκ$ and ${}^κ2$ endowed with ideal topologies, where $κ$ is a regular uncountable cardinal, thereby addressing some open problems of the literature. We provide a systematic analysis of the Borel hierarchy for an arbitrary ideal topology. In particular, we formulate a sufficient condition ensuring that the hierarchy does not collapse, demonstrate that every Borel set in such a topology is analytic, and establish the existence of a set that is not Borel. Our main result shows that, when the underlying ideal contains an unbounded subset, the collection of analytic sets coincides with the full power set of the ambient space. Finally, we prove that the Approximation Lemma holds in the setting of ideal topologies.

math.LO↗

arXiv2025

Generalized Borel Sets

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.

math.LO↗

arXiv2024

Generalized Baire class functions

Let $λ$ be an uncountable cardinal such that $2^{< λ} = λ$. Working in the setup of generalized descriptive set theory, we study the structure of $λ^+$-Borel measurable functions with respect to various kinds of limits, and isolate a suitable notion of $λ$-Baire class $ξ$ function. Among other results, we provide higher analogues of two classical theorems of Lebesgue, Hausdorff, and Banach, namely: (1) A function is $λ^+$-Borel measurable if and only if it can be obtained from continuous functions by iteratively applying pointwise $D$-limits, where $D$ varies among directed sets of size at most $λ$. (2) A function is of $λ$-Baire class $ξ$ if and only if it is $\boldsymbolΣ^{0}_{ξ+1}$-measurable.

math.LO↗