Approaches to analysis with infinitesimals following Robinson, Nelson, and others

DOI10.14321/realanalexch.42.2.0193zbMath1435.03094arXiv1703.00425OpenAlexW2964185856MaRDI QIDQ1750317

Claude Lobry, Sam Sanders, Peter Fletcher, Mikhail G. Katz, Karel Hrbacek, Kanovei, Vladimir

Publication date: 18 May 2018

Published in: Real Analysis Exchange (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.00425

zbMATH Keywords

multiversenonstandard analysisinfinitesimalultraproductsprotozoaaxiomatisationsintuitionismideal elementssuperstructurenaive integersset-theoretic foundationssoritical properties

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Real-analytic functions (26E05) Nonstandard analysis (26E35)

Related Items (18)

Cauchy's infinitesimals, his sum theorem, and foundational paradigms ⋮ Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context ⋮ CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES ⋮ Monotone subsequence via ultrapower ⋮ Infinitesimal analysis without the axiom of choice ⋮ Periodic words connected with the tribonacci-Lucas numbers ⋮ Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals ⋮ Metric completions, the Heine-Borel property, and approachability ⋮ To be or not to be constructive, that is not the question ⋮ Equality and Near-Equality in a Nonstandard World ⋮ 19th-century real analysis, forward and backward ⋮ Three case studies in current Leibniz scholarship ⋮ Effective infinitesimals in \(\mathbb{R}\) ⋮ A New Approach to Nonstandard Analysis ⋮ Weyl and Intuitionistic Infinitesimals ⋮ The algorithmic numbers in non-Archimedean numerical computing environments ⋮ On mathematical realism and applicability of hyperreals ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

This page was built for publication: Approaches to analysis with infinitesimals following Robinson, Nelson, and others