An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals

Notre Dame Journal of Formal Logic 53 (4):557-570 (2012)

Alexandre Borovik
University of Manchester
A construction of the real number system based on almost homomorphisms of the integers $\mathbb {Z}$ was proposed by Schanuel, Arthan, and others. We combine such a construction with the ultrapower or limit ultrapower construction to construct the hyperreals out of integers. In fact, any hyperreal field, whose universe is a set, can be obtained by such a one-step construction directly out of integers. Even the maximal (i.e., On -saturated) hyperreal number system described by Kanovei and Reeken (2004) and independently by Ehrlich (2012) can be obtained in this fashion, albeit not in NBG . In NBG , it can be obtained via a one-step construction by means of a definable ultrapower (modulo a suitable definable class ultrafilter)
Keywords Eudoxus   hyperreals   infinitesimals   limit ultrapower   universal hyperreal field
Categories (categorize this paper)
DOI 10.1215/00294527-1722755
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,650
Through your library

References found in this work BETA

Cauchy's Continuum.Karin U. Katz & Mikhail G. Katz - 2011 - Perspectives on Science 19 (4):426-452.

View all 7 references / Add more references

Citations of this work BETA

View all 6 citations / Add more citations

Similar books and articles

Ultrapowers Without the Axiom of Choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Regularity and Hyperreal Credences.Kenny Easwaran - 2014 - Philosophical Review 123 (1):1-41.
A Cauchy-Dirac Delta Function.Mikhail G. Katz & David Tall - 2013 - Foundations of Science 18 (1):107-123.
A Boolean Ultrapower Which is Not an Ultrapower.Bernd Koppelberg & Sabine Koppelberg - 1976 - Journal of Symbolic Logic 41 (1):245-249.
Theories and Inter-Theory Relations in Bo Kovi.Ivica Martinovi - 1990 - International Studies in the Philosophy of Science 4 (3):247 – 262.
Flat Sets.Arthur D. Grainger - 1994 - Journal of Symbolic Logic 59 (3):1012-1021.


Added to PP index

Total views
21 ( #394,533 of 2,250,039 )

Recent downloads (6 months)
4 ( #483,911 of 2,250,039 )

How can I increase my downloads?


My notes

Sign in to use this feature