# Borel and analytic sets in locales.

@article{Chen2020BorelAA, title={Borel and analytic sets in locales.}, author={Ruiyuan Chen}, journal={arXiv: Logic}, year={2020} }

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…

## One Citation

On the Pettis-Johnstone theorem for localic groups

- Mathematics
- 2021

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…

## References

SHOWING 1-10 OF 94 REFERENCES

A universal characterization of standard Borel spaces

- Mathematics
- 2019

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

- MathematicsBulletin 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

- Mathematics
- 1991

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

- Mathematics
- 1994

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

- Mathematics
- 1987

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

- MathematicsErgodic 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

- Mathematics
- 1992

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…

EXACT COMPLETIONS AND SMALL SHEAVES

- Mathematics
- 2012

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…

A Theorem on Barr-Exact Categories, with an Infinitary Generalization

- MathematicsAnn. Pure Appl. Log.
- 1990