Infinitesimal analysis without the Axiom of Choice

Abstract

It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom of Choice than traditional elementary analysis. The claim is based on the observation that the hyperreals entail the existence of nonprincipal ultrafilters over N, a strong version of the Axiom of Choice, while the real numbers can be constructed in ZF. The axiomatic approach to nonstandard methods refutes this objection. We formulate a theory SPOT in the st-$\in$-language which suffices to carry out infinitesimal arguments, and prove that SPOT is a conservative extension of ZF. Thus the methods of Calculus with infinitesimals are just as effective as those of traditional Calculus. The conclusion extends to large parts of ordinary mathematics and beyond. We also develop a stronger axiomatic system SCOT, conservative over ZF+ADC, which is suitable for handling such features as an infinitesimal approach to the Lebesgue measure. Proofs of the conservativity results combine and extend the methods of forcing developed by Enayat and Spector.

arXiv comment44 pages. To appear in Annals of Pure and Applied Logic

References in corpus (10)

• The set-theoretic multiverse
• Hilbert's Program Then and Now
• Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond
• Approaches to analysis with infinitesimals following Robinson, Nelson, and others
• Interpreting the infinitesimal mathematics of Leibniz and Euler
• Procedures of Leibnizian infinitesimal calculus: An account in three modern frameworks
• The unreasonable effectiveness of Nonstandard Analysis
• On mathematical realism and the applicability of hyperreals
• Continuity between Cauchy and Bolzano: Issues of antecedents and priority
• What makes a theory of infinitesimals useful? A view by Klein and Fraenkel

Cited by in corpus (8)

• Historical infinitesimalists and modern historiography of infinitesimals
• A two-track tour of Cauchy's Cours
• Constructing nonstandard hulls and Loeb measures in internal set theories
• Multi-level Nonstandard Analysis and the Axiom of Choice
• Measuring Intelligence and Growth Rate: Variations on Hibbard's Intelligence Measure
• Infinitesimals via Cauchy sequences: Refining the classical equivalence
• Peano and Osgood theorems via effective infinitesimals
• Formalism 25