Peano and Osgood theorems via effective infinitesimals
Karel Hrbacek, Mikhail Katz
Link to PDF