Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension.