Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-26T12:40:42.973Z Has data issue: false hasContentIssue false
  • English
  • Français

On the strength of nonstandard analysis

Published online by Cambridge University Press:  12 March 2014

C. Ward Henson  and
H. Jerome Keisler
C. Ward Henson
Affiliation:
Department of Mathematics, University of Illinois, Urbana, Illinois 61801
H. Jerome Keisler
Affiliation:
Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706
Get access Rights & Permissions [Opens in a new window]

Extract

It is often asserted in the literature that any theorem which can be proved using nonstandard analysis can also be proved without it. The purpose of this paper is to show that this assertion is wrong, and in fact there are theorems which can be proved with nonstandard analysis but cannot be proved without it. There is currently a great deal of confusion among mathematicians because the above assertion can be interpreted in two different ways. First, there is the following correct statement: any theorem which can be proved using nonstandard analysis can be proved in Zermelo-Fraenkel set theory with choice, ZFC, and thus is acceptable by contemporary standards as a theorem in mathematics. Second, there is the erroneous conclusion drawn by skeptics: any theorem which can be proved using nonstandard analysis can be proved without it, and thus there is no need for nonstandard analysis.

The reason for this confusion is that the set of principles which are accepted by current mathematics, namely ZFC, is much stronger than the set of principles which are actually used in mathematical practice. It has been observed (see [F] and [S]) that almost all results in classical mathematics use methods available in second order arithmetic with appropriate comprehension and choice axiom schemes.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 51 , Issue 2 , June 1986 , pp. 377 - 386
Copyright
Copyright © Association for Symbolic Logic 1986

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[AFHL] Albeverio, S., Fenstad, J. E., Høegh-Krohn, R. and Lindstrøm, T. L., Nonstandard methods in stochastic analysis and mathematical physics (to appear).Google Scholar
[CK] Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[F] Feferman, S.. Theories of finite type related to mathematical practice, Handbook of mathematical logic (Barwise, J., editor), North-Holland, Amsterdam, 1977, pp. 913–971.CrossRefGoogle Scholar
[He] Henkin, L., Completeness in the theory of types, this Journal, vol. 15 (1949), pp. 81–91.Google Scholar
[HKK] Henson, C. W., Kaufmann, M. and Keisler, H. J., The strength of nonstandard methods in arithmetic, this Journal, vol. 49 (1984), pp. 1039–1058.Google Scholar
[Hr1] Hrbáček, K., Axiomatic foundations for nonstandard analysis, Fundament a Mathematicae, vol. 98 (1978), pp. 1–19.CrossRefGoogle Scholar
[Hr2] Hrbáček, K., Nonstandard set theory, American Mathematical Monthly, vol. 86 (1979), pp. 659–677.CrossRefGoogle Scholar
[HL] Hurd, A. and Loeb, P., An introduction to nonstandard real analysis, Academic Press, New York (to appear).Google Scholar
[Ka1] Kawai, T., Axiom systems for nonstandard set theory, Logic Symposia Hakone 1979, 1980 (Müller, G. H., Takeuti, G. and Tugue, T., editors), Lecture Notes in Mathematics, vol. 891, Springer-Verlag, Berlin, 1981, pp. 57–65.CrossRefGoogle Scholar
[Ka2] Kawai, T., Nonstandard analysis by axiomatic method, Southeast Asia Conference on Logic (Singapore 1981), Studies in Logic and the Foundations of Mathematics, vol. III, North-Holland, Amsterdam, 1983, pp. 55–76.CrossRefGoogle Scholar
[Ke] Keisler, H. J., An infinitesimal approach to stochastic analysis, Memoirs of the American Mathematical Society, No. 297 (1984).CrossRefGoogle Scholar
[Kr] Kreisel, G., Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical standard analysis, Applications of model theory to algebra, analysis, and probability (Luxemburg, W. A. J., editor), Holt, Rinehart and Winston, New York, 1969, pp. 18–86.Google Scholar
[N1] Nelson, E., Internal set theory: a new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol. 83 (1977), pp. 1165–1198.CrossRefGoogle Scholar
[N2] Nelson, E., The syntax of nonstandard analysis, Manuscript, Princeton University, Princeton, New Jersey, 1980.Google Scholar
[R] Robinson, A., Nonstandard analysis, North-Holland, Amsterdam, 1974.Google Scholar
[S] Simpson, S., Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? this Journal, vol. 49 (1984), pp. 783–802.Google Scholar
[SB] Stroyan, K. D. and Bayod, J. M., Foundations of infinitesimal stochastic analysis, North-Holland, Amsterdam (to appear).Google Scholar