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},
}