Borel combinatorics fail in HYP

Henry Towsner, Rose Weisshaar, Linda Westrick

We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, th…