An integer construction of infinitesimals: toward a theory of eudoxus hyperreals

DOI10.1215/00294527-1722755zbMath1266.03074arXiv1210.7475OpenAlexW3099145697WikidataQ57259164 ScholiaQ57259164MaRDI QIDQ691131

Mikhail G. Katz, Renling Jin, Alexandre V. Borovik

Publication date: 29 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

hyperrealsinfinitesimalsalmost homomorphismEudoxus ralslimit ultrapoweruniversal hyperreal field

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Ultraproducts and related constructions (03C20) Nonstandard analysis (26E35)

Related Items (7)

A footnote to ``The crisis in contemporary mathematics ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ A Cauchy-Dirac delta function ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ Almost Equal: the Method of Adequality from Diophantus to Fermat and Beyond ⋮ Proofs and retributions, or: why Sarah can't take limits

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
• Stevin numbers and reality
• Ten misconceptions from the history of analysis and their debunking
• Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
• Eine Erweiterung der Infinitesimalrechnung
• Intermolecular forces of infinite range and the Boltzmann equation
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
• A topics course in mathematics
• Set theory. An introduction to independence proofs
• Model theory.
• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• A new look at e.g. Björling and the Cauchy sum theorem
• Describing the real numbers in terms of integers.
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Commuting and Noncommuting Infinitesimals
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Cauchy's Continuum
• The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
• Leibniz’s Laws of Continuity and Homogeneity
• Nonstandard Analysis
• Ultrafilters and Independent Sets
• Limit Ultrapowers
• Rings of Real-Valued Continuous Functions. I

This page was built for publication: An integer construction of infinitesimals: toward a theory of eudoxus hyperreals