Peano and Osgood theorems via effective infinitesimals

Karel Hrbacek, Mikhail G. Katz

We provide choiceless proofs using infinitesimals of the global versions of Peano's existence theorem and Osgood's theorem on maximal solutions. We characterize all solutions in te…