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.

@article{Simpson84,
  title = {Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?},
  author = {Stephen G. Simpson},
  year = {1984},
  researchr = {https://researchr.org/publication/Simpson84},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {49},
  number = {3},
  pages = {783-802},
}