• Corpus ID: 226226742

Borel and analytic sets in locales.

  title={Borel and analytic sets in locales.},
  author={Ruiyuan Chen},
  journal={arXiv: Logic},
  • Ruiyuan Chen
  • Published 1 November 2020
  • Mathematics
  • arXiv: Logic
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 free complete Boolean algebra generated by the frame $\mathcal{O}(X)$ of opens to be the "$\infty$-Borel sets" in a locale $X$. We show that several known results in locale theory may be interpreted in this framework as direct analogs of classical descriptive set-theoretic facts, including e.g., the Lusin separation… 
On the Pettis-Johnstone theorem for localic groups
We explain how Johnstone’s 1989 proof of the closed subgroup theorem for localic groups can be viewed as a point-free version of Pettis’s theorem for Baire topological groups. We then use it to


A universal characterization of standard Borel spaces
We prove that the category $\mathsf{SBor}$ of standard Borel spaces is the (bi-)initial object in the 2-category of countably complete Boolean (countably) extensive categories. This means that
New Directions in Descriptive Set Theory
  • A. Kechris
  • Mathematics
    Bulletin of Symbolic Logic
  • 1999
Desc descriptive set theory is the study of the structure of definable sets and functions in separable completely metrizable spaces, usually called Polish spaces.
First steps in descriptive theory of locales
F. Hausdorff and D. Montgomery showed that a subspace of a completely metrizable space is developable if and only if it is F, and G. . This extends to arbitrary metrizable locales when "F," and "G."
The Assembly Tower and Some Categorical and Algebraic Aspects of Frame Theory
Abstract : This thesis studies the framework arising in the algebraic and categorical description of general (or point-set) topology. Classically, a topological space is a set with structure, the
Some results on locally finitely presentable categories
We prove that any full subcategory of a locally finitely presentable (l.f.p.) category having small limits and filtered colimits preserved by the inclusion functor is itself l.f.p. Here "full" may be
Decompositions and measures on countable Borel equivalence relations
  • Ruiyuan Chen
  • Mathematics
    Ergodic Theory and Dynamical Systems
  • 2020
Abstract We show that the uniform measure-theoretic ergodic decomposition of a countable Borel equivalence relation $(X, E)$ may be realized as the topological ergodic decomposition of a continuous
Sheaves in geometry and logic: a first introduction to topos theory
This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various
We prove a general theorem which includes most notions of \exact com- pletion" as special cases. The theorem is that \ -ary exact categories" are a reective sub-2-category of \ -ary sites", for any