${\Delta }_1^1$ Effectivization in Borel Combinatorics

Riley Thornton

We develop a flexible method for showing that Borel witnesses to some combinatorial property of ${\Delta }_1^1$ objects yield ${\Delta }_1^1$ witnesses. We use a modification the Gandy--Harrington…