Borel and analytic sets in locales

Ruiyuan Chen

We systematically develop analogs of basic concepts from classical descriptive set theory in the context of pointless topology. Our starting point is to take the elements of the fr…