Advertisement

The Hyperreal Line

  • H. Jerome Keisler
Chapter
Part of the Synthese Library book series (SYLI, volume 242)

Abstract

The aim of this article is to explain that the hyperreal line is, what it looks like, and what it is good for. Near the beginning of the article we shall draw pictures of the hyperreal line and sketch its construction as an ultrapower of the real line. In the middle part of the article, we shall survey mathematical results about the structure of the hyperreal line. Near the end, we shall discuss philosophical issues concerning the nature and significance of the hyperreal line.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albeverio, S., Fenstad, F. E., Høegh-Krohn, R. and Lindstrøm, T.: 1986, Nonstandard Methods in Stochastic Analysis and Mathematical Physics, Academic Press, New York.zbMATHGoogle Scholar
  2. Anderson, R. M.: 1976, ‘A Non-standard Representation of Brownian Motion and Itô Integration’, Israel J. Math., 86, 85–97.Google Scholar
  3. Arkeryd, L.: 1984, ‘Loeb Solutions of the Boltzmann Equation’, Arch. Rational Mech. Anal., 86, 85–97.MathSciNetzbMATHCrossRefGoogle Scholar
  4. Barwise, J.: 1975, Admissible Sets and Structures, Springer-Verlag.zbMATHCrossRefGoogle Scholar
  5. van den Berg, I. P.: 1987, Nonstandard Asymptotic Analysis, Springer Lecture Notes in Math. 1249.zbMATHGoogle Scholar
  6. Chang, C. C. and Keisler, H. J.: 1990, Model Theory, North-Holland (Third Edition).zbMATHGoogle Scholar
  7. Conway, J. H.: 1976, On Numbers and Games, Academic Press.zbMATHGoogle Scholar
  8. Cutland, N. J.: 1986, ‘Infinitesimal Methods in Control Theory, Deterministic and Stochastic’, Acta Appl. Math., 5, 105–136.MathSciNetzbMATHCrossRefGoogle Scholar
  9. Cutland, N. J.: 1988, Nonstandard Analysis and its Applications, London Math. Soc.zbMATHCrossRefGoogle Scholar
  10. Diener, F. and Diener, M.: 1988, ‘Some Asymptotic Results in Ordinary Differential Equations’, in N. J. Cutland (Ed.), Nonstandard Analysis and its Applications, pp. 282–297, London Math. Society.CrossRefGoogle Scholar
  11. Henson, C. W.: 1979, ‘Analytic Sets, Baire Sets, and the Standard Part Map’, Canadian J. Math., 31, 663–672.MathSciNetzbMATHCrossRefGoogle Scholar
  12. Henson, C. W.: 1979, ‘Unbounded Loeb Measures’, Proc. Amer. Math. Soc., 74, 143–150.MathSciNetzbMATHCrossRefGoogle Scholar
  13. Henson, C. W., Kaufmann, M. and Keisler, H. J.: 1984, ‘The Strength of Nonstandard Methods in Arithmetic’, J. Symb. Logic, 49, 1039–1058.MathSciNetzbMATHCrossRefGoogle Scholar
  14. Henson, C. W. and Keisler, H. J.: 1986, ‘On the Strength of Nonstandard Analysis’, J. Symb. Logic, 51, 377–386.MathSciNetzbMATHCrossRefGoogle Scholar
  15. Hurd, A. E. and Loeb, P. A.: 1985, Introduction to Nonstandard Real Analysis, Academic Press.zbMATHGoogle Scholar
  16. Jin, R.: 1992, ‘Cuts in Hyperfinite Time Lines’, J. Symb. Logic, 57, 522–527.zbMATHCrossRefGoogle Scholar
  17. Jin, R. and Keisler, H. J.: 1993, ‘Game Sentences and Ultrapowers’, Ann. Pure and Appl. Logic, 60, 261–274.MathSciNetzbMATHCrossRefGoogle Scholar
  18. Kamo, S.: 1981, ‘Nonstandard Natural Number Systems and Nonstandard Models’, J. Symb. Logic, 46, 365–376.MathSciNetzbMATHCrossRefGoogle Scholar
  19. Keisler, H. J.: 1964, ‘Good Ideals in Fields of Sets’, Ann. Math., 79, 338–359.MathSciNetzbMATHCrossRefGoogle Scholar
  20. Keisler, H. J.: 1963, ‘Limit Ultrapowers’, Trans. Amer. Math. Soc., 107, 383–408.MathSciNetCrossRefGoogle Scholar
  21. Keisler, H. J.: 1986, Elementary Calculus: An Infinitesimal Approach, Second Edition, PWS Publishers.zbMATHGoogle Scholar
  22. Keisler, H. J.: 1984, ‘An Infinitesimal Approach to Stochastic Analysis’, Memoirs Amer. Math. Soc., 297.Google Scholar
  23. Keisler, H. J., Kunen, K., Leth, S. and Miller, A.: 1989, ‘Descriptive Set Theory over Hyperfinite Sets’, J. Symb. Logic, 54, 1167–1180.MathSciNetzbMATHCrossRefGoogle Scholar
  24. Keisler, H. J. and Leth, S.: 1991, ‘Meager Sets in the Hyperfinite Time Line’, J. Symb. Logic, 56, 71–102.MathSciNetzbMATHCrossRefGoogle Scholar
  25. Kunen, K. and Miller, A.: 1983, ‘Borel and Projective Sets from the Point of View of Compact Sets’, Math. Proc. Camb. Phil. Soc., 94, 399–409.MathSciNetzbMATHCrossRefGoogle Scholar
  26. Laugwitz, A. H. and Schmieden, C.: 1958, ‘Eine Erweiterung der Infinitesimalrechnung’, Math. Z., 69, 1–39.MathSciNetzbMATHCrossRefGoogle Scholar
  27. Lightstone, A. H. and Robinson, A.: 1975, Non-Archimedean Fields and Asymptotic Analysis, North-Holland.Google Scholar
  28. Loeb, P. A.: 1975, ‘Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory’, Trans. Amer. Math. Soc., 211, 113–122.MathSciNetzbMATHCrossRefGoogle Scholar
  29. Loś, J.: 1955, ‘Quelques Remarques, Théorèmes et Problèmes sur les Classes Définissables d’Algèbres’, in Mathematical Interpretation of Formal Systems, pp. 98–113, North-Holland.Google Scholar
  30. Luxemburg, W. A. J.: 1962, Non-standard Analysis, mimeographed Notes, Cal. Inst. Tech., Pasadena, CA.Google Scholar
  31. Luxemburg, W. A. J.: 1962, ‘Two Applications of the Method of Construction by Ultrapowers to Analysis’, Bull. Amer. Math. Soc., 68, 416–419.MathSciNetzbMATHCrossRefGoogle Scholar
  32. Morley, M. and Vaught, R.: 1962, ‘Komogeneous Universal Models’, Math. Scand., 11, 37–57.MathSciNetzbMATHGoogle Scholar
  33. Nelson, E.: 1977, ‘Internal Set Theory; A New Approach to Nonstandard Analysis’, Bull. Amer. Math. Soc., 83, 1165–1198.MathSciNetzbMATHCrossRefGoogle Scholar
  34. Pincus, D.: 1974, ‘The Strength of the Hahn-Banach Theorem’, in A. E. Hurd and P. A. Loeb (Eds.), Victoria Symposium on Nonstandard Analysis, pp. 203–248, Springer Lecture Notes 369.CrossRefGoogle Scholar
  35. Rashid, S.: 1987, Economies With Many Agents: A Nonstandard Approach, John Hopkins.zbMATHGoogle Scholar
  36. Robert, A.: 1988, Nonstandard Analysis, Wiley.zbMATHGoogle Scholar
  37. Robinson, A.: 1966, Nonstandard Analysis, North-Holland.Google Scholar
  38. Robinson, A. and Zakon, E.: 1969, ‘A Set-theoretical Characterization of Enlargements’, in W. A. J. Luxemburg (Ed.), Applications of Model Theory to Algebra, Analysis, and Probability, pp. 109–122, Holt, Rinehart, Winston.Google Scholar
  39. Simpson, S.: 1984, ‘Which Set Existence Axioms are Needed to Prove the CauchyPeano Theorem for Ordinary Differential Equations?’, J. Symb. Logic, 49, 783–802.zbMATHCrossRefGoogle Scholar
  40. Spector, M.: 1988, ‘Ultrapowers Without the Axiom of Choice’, J. Symb. Logic, 53, 1208–1219.MathSciNetzbMATHCrossRefGoogle Scholar
  41. Stroyan, K. D. and Bayod, J. M.: 1986, Foundations of Infinitesimal Stochastic Analysis, North-Holland.zbMATHGoogle Scholar
  42. Tarski, A.: 1920, ‘Une Contribution à la théorie de la mesure’, Fund. Math., 15, 42–50.Google Scholar
  43. Tarski, A. and Mckinsey, J. C. C.: 1948, A Decision Method for Elementary Algebra and Geometry, 2nd ed., Berkeley, Los Angeles.zbMATHGoogle Scholar
  44. Zakon, E.: 1969, ‘Remarks on the Nonstandard Real Axis’, in W. A. J. Luxemburg (Ed.), Applicatons of Model Theory to Algebra, Analysis, and Probability, pp. 195–227, Holt, Rinehart, Winston.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1994

Authors and Affiliations

  • H. Jerome Keisler
    • 1
  1. 1.University of WisconsinMadisonUSA

Personalised recommendations