We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is $∏^0_2$-complete and that the set of Cauchy problems which locally have a unique solution is $∑^0_3$-complete. We prove that the set of Cauchy problems which have a global solution is $∑_0^4$-complete and that the set of ordinary differential equations which have a global solution for every initial condition is $∏^0_3$-complete. We prove that the set of Cauchy problems for which both uniqueness and globality hold is $∏^0_2$-complete.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Two sets of reals are Borel equivalent if one is the Borel pre-image of the other, and a Borel-Wadge degree is a collection of pairwise Borel equivalent subsets of ℝ. In this note we investigate the structure of Borel-Wadge degrees under the assumption of the Axiom of Determinacy.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW