Showing math.LOShow all
2 papers · 1 filter
math.LO2022
An algebraic approach to Borel CSPs
Riley Thornton
We adapt tools from the algebraic approach to constraint satisfaction problems to answer descriptive set theoretic questions about Borel CSPs. We show that if a structure $\mathcal…
math.LO2021
Effectivization in Borel Combinatorics
Riley Thornton
We develop a flexible method for showing that Borel witnesses to some combinatorial property of objects yield witnesses. We use a modification the Gandy--Harrington…