Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Separating complexity classes of LCL problems on grids
Katalin Berlow, Anton Bernshteyn, Clark Lyons +1
We study the complexity of locally checkable labeling (LCL) problems on from the point of view of descriptive set theory, computability theory, and factors of i.i.d.…
math.LO2024
Borel Families of Games
Alexander Kastner, Clark Lyons
We give an elementary proof that in a Borel family of games, the set of games for which player II has a winning strategy is Baire measurable, universally measurable, and completely…
math.LO2023
Baire Measurable Matchings in Non-Amenable Graphs
Alexander Kastner, Clark Lyons
We prove that every Schreier graph of a free Borel action of a finitely generated non-amenable group admits a Baire measurable perfect matching, and that the Schreier graph of a fr…