Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?

Stephen G. Simpson. Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?. Journal of Symbolic Logic, 49(3):783-802, 1984.

Bibliographies