Ruiyuan Chen

activity

20162023

most citedDecompositions and measures on countable Borel equivalence relations

5 citations · 20 across the 15 of their papers we have counts for

collaborators

Showing 2017 · math.LOShow all

2 papers · 2 filters

math.LO2017

Borel functors, interpretations, and strong conceptual completeness for $L_{ω_{1} ω}$

Ruiyuan Chen

We prove a strong conceptual completeness theorem (in the sense of Makkai) for the infinitary logic $L_{ω_{1} ω}$ : every countable $L_{ω_{1} ω}$ -theory can be canonical…

math.LO2017

Borel structurability by locally finite simplicial complexes

Ruiyuan Chen

We show that every countable Borel equivalence relation structurable by $n$ -dimensional contractible simplicial complexes embeds into one which is structurable by such complexes wi…

Borel functors, interpretations, and strong conceptual completeness for Lω1​ω​

Borel structurability by locally finite simplicial complexes

Borel functors, interpretations, and strong conceptual completeness for $L_{ω_{1} ω}$