TY - RPRT TI - The open dihypergraph dichotomy and the second level of the Borel hierarchy AU - Raphaël Carroy AU - Benjamin D. Miller AU - Dániel T. Soukup PY - 2018 UR - https://arxiv.org/abs/1803.03205 ID - 1803.03205 ER -