Ruiyuan Chen

activity

20162023

most citedBorel and analytic sets in locales

2 citations · 4 across the 5 of their papers we have counts for

collaborators

Showing 2019 · math.LOShow all

3 papers · 2 filters

math.LO2019

Representing Polish groupoids via metric structures

Ruiyuan Chen

We prove that every open $σ$ -locally Polish groupoid $G$ is Borel equivalent to the groupoid of models on the Urysohn sphere $U$ of an $L_{ω_{1} ω}$ -sentence in con…

math.LO2019

A universal characterization of standard Borel spaces

Ruiyuan Chen

We prove that the category $SBor$ of standard Borel spaces is the (bi-)initial object in the 2-category of countably complete Boolean (countably) extensive categories. Thi…

math.LO2019

Bounds on Continuous Scott Rank

William Chan, Ruiyuan Chen

An analog of Nadel's effective bound for the continuous Scott rank of metric structures, developed by Ben Yaacov, Doucha, Nies, and Tsankov, will be established: Let $L$ …