An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
Say a function \(f:\mathbb Z\to\mathbb Z\) is an \textit{almost homomorphism} if there is \(C\in \mathbb N^{>0}\) such that, for all \(k,l\in \mathbb Z\), one has \(|f(k+l)-f(k)-f(l)|<C\). We identify two almost homomorphisms if they differ by a bounded function on \(\mathbb Z\). The set of equivalence classes can be equipped with the structure of an ordered field in a natural way, called the ordered field of \textit{Eudoxus reals} \(\mathbb E\). Moreover, the map which sends the real number \(\alpha\) to the equivalence class of the almost homomorphism sending \(k\) to the integer part of \(k\alpha\) is an isomorphism of complete ordered fields. It is in this way that the Eudoxus reals can be seen as a construction of the real numbers directly from the integers, thereby ``skipping the rationals. In this article, the above construction is combined with the ultrapower (or limit ultrapower) construction to construct the hyperreal fields of nonstandard analysis directly from the integers.
- 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
- A topics course in mathematics
- Cauchy's continuum
- Commuting and noncommuting infinitesimals
- Describing the real numbers in terms of integers.
- Eine Erweiterung der Infinitesimalrechnung
- scientific article; zbMATH DE number 3978014 (Why is no real title available?)
- scientific article; zbMATH DE number 1222940 (Why is no real title available?)
- scientific article; zbMATH DE number 1863376 (Why is no real title available?)
- scientific article; zbMATH DE number 2106998 (Why is no real title available?)
- Intermolecular forces of infinite range and the Boltzmann equation
- Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
- Leibniz’s Laws of Continuity and Homogeneity
- Limit Ultrapowers
- Model theory.
- Nonstandard Analysis
- Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
- Rings of Real-Valued Continuous Functions. I
- Set theory. An introduction to independence proofs
- Stevin numbers and reality
- Ten misconceptions from the history of analysis and their debunking
- The absolute arithmetic continuum and the unification of all numbers great and small
- The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes
- Ultrafilters and Independent Sets
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
- 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
- Natural numbers and infinitesimals
- A method of constructing the field of real numbers in AST
- A Cauchy-Dirac delta function
- Ten misconceptions from the history of analysis and their debunking
- scientific article; zbMATH DE number 1047980 (Why is no real title available?)
- scientific article; zbMATH DE number 1744271 (Why is no real title available?)
- 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
This page was built for publication: An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q691131)
