scientific article

zbMath0629.26015MaRDI QIDQ4039861

Alain Robert

Publication date: 5 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nonstandard analysisinfinitesimalsStone-Weierstraß theoremNelson's internal set theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to real functions (26-01) Nonstandard models in mathematics (03H05) Nonstandard functional analysis (46S20) Nonstandard analysis (26E35)

Related Items (17)

CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES ⋮ On a nonstandard Brownian motion and its maximal function ⋮ Internal approach to external sets and universes. I: Bounded set theory ⋮ Theory extension in ACL2(r) ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ Divergent mathematical treatments in utility theory ⋮ Functions of limited accumulation ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Generalized functions and non-standard analysis ⋮ Zeno's arrow and the infinitesimal calculus ⋮ Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers ⋮ The surfaces capable of division into infinitesimal squares by their curves of curvature: a nonstandard-analysis approach to classical differential geometry. ⋮ Implementing an automatic differentiator in ACL2 ⋮ Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry ⋮ Hyperalgebraic primitive elements for relational algebraic and topological algebraic models ⋮ Geometric singular perturbation theory in biological practice ⋮ Nonstandard analysis

This page was built for publication: