An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
From MaRDI portal
Publication:691131
DOI10.1215/00294527-1722755zbMath1266.03074arXiv1210.7475WikidataQ57259164 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
hyperreals; infinitesimals; almost homomorphism; Eudoxus rals; limit ultrapower; universal hyperreal field
03H05: Nonstandard models in mathematics
03C20: Ultraproducts and related constructions
26E35: Nonstandard analysis
Related Items
Almost Equal: the Method of Adequality from Diophantus to Fermat and Beyond, 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, A footnote to ``The crisis in contemporary mathematics, Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics, 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