Abstract:Conway's real closed field $\mathbf{No}$ of surreal numbers is a sweeping generalization of the real numbers and the ordinals to which a number of elementary functions such as log and exponentiation have been shown to extend. The problems of identifying significant classes of functions that can be so extended and of defining integration for them have proven to be formidable. In this paper we address this and related unresolved issues by showing that extensions to $\mathbf{No}$, and thereby integrals, exist for most functions arising in practical applications. In particular, we show they exist for a large subclass of the \emph{resurgent functions}, a subclass that contains the functions that at $\infty$ are semi-algebraic, semi-analytic, analytic, meromorphic, and Borel summable as well as solutions to nonresonant linear and nonlinear meromorphic systems of ODEs or of difference equations. By suitable changes of variables we deal with arbitrarily located singular points. We further establish a sufficient condition for the theory to carry over to ordered exponential subfields of $\mathbf{No}$ more generally and illustrate the result with structures familiar from the surreal literature. The extensions of functions and integrals that concern us are constructive in nature, which permits us to work in NBG less the Axiom of Choice (for both sets and proper classes). Following the completion of the positive portion of the paper, it is shown that the existence of such constructive extensions and integrals of substantially more general types of functions (e.g. smooth functions) is obstructed by considerations from the foundations of mathematics.

New Nonstandard Number System Rgsand Its Application in Calculus (III) ——nonstandard Calculus

Study on R-Calculus

Non-ε Limit Theory and Teaching's Reform of Calculus

Nonstandard Analysis Applied to Advanced Undergraduate Mathematics - Infinitesimal Modeling

The Third Generation of Calculus

Numerical point of view on Calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains

Newton's Method for Sections on Riemannian Manifolds: Generalized Covariant Α-Theory

Naïve Infinitesimal Analysis: Its Construction and Its Properties

Generalized Runge-Kutta Method with respect to the Non-Newtonian Calculus

A Generalization of the Cantor-Dedekind Continuum with Nilpotent Infinitesimals

Discontinuous Galerkin finite element differential calculus and applications to numerical solutions of linear and nonlinear partial differential equations

Fun with "Analysis I": basic theorems in calculus revisited

Studies on a new K-symbol analytic functions generated by a modified K-symbol Riemann-Liouville fractional calculus

Integration on the Surreals

Reduction of the Number of Quantifiers in Real Analysis through Infinitesimals (Master Thesis, Mathematics Department, California Polytechnic State University, San Luis Obispo)

Teaching mathematics with a different philosophy. Part 2: Calculus without Limits

Calculus without Limit Theory

On Convergence Of A New Secant-Like Method For Solving Nonlinear Equations

New Proof for Continual Induction and Its Application

On a New Nonlinear Sum-difference Inequality with Application

A note on continuous-stage Runge-Kutta methods