Logic Seminar

A locale is, informally, a topological space without an underlying set of points, with only an abstract lattice of "open sets". Various results in the literature suggest that locale theory behaves in many ways like a generalization of descriptive set theory with countability restrictions removed. This talk will introduce locale theory from a descriptive set-theoretic point of view, and survey some known and new results which are common to both contexts. In particular, we will introduce the "∞∞-Borel hierarchy" of a locale, and sketch the existence of "σσ-analytic, non-∞∞-Borel sets".