References
Brown, D., Simpson, S.G.: Which set existence axioms are needed to prove the separable Hahn-Banach theorem? Ann. Pure Appl. Logic,31, 123–144 (1986)
Chevalley, C.: On the theory of local rings. Ann. Math.44, 690–708 (1943)
Simpson, S.G.: Ordinal numbers and the Hilbert basis theorem. J. Symb. Logic53, 961–974 (1988)
Simpson, S.G.: Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? J. Symb. Logic49, 783–802 (1984)