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

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

Abstract

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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2012-11-09

Downloads
53 (#268,373)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alexandre Borovik
University of Manchester