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: 93,069

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

A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.

Analytics

Added to PP
2012-11-09

Downloads
64 (#259,275)

6 months
13 (#219,656)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alexandre Borovik
University of Manchester