On Borel sets in ideal topologies

Abstract

We study the Borel and analytic subsets of the spaces \({}^κκ\) and \({}^κ2\) endowed with ideal topologies, where \(κ\) is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in any ideal topology and prove that every Borel set in such a topology is analytic. In particular, when the ideal contains an unbounded set, the class of analytic sets coincides with the entire powerset. Furthermore, we show that the Approximation Lemma holds for ideal topologies.