An integer construction of infinitesimals: Toward a theory of Eudoxus hyperreals

Notre Dame Journal of Formal Logic

Volumn 53, Issue 4, 2012, Pages 557-570

  Borovik, Alexandre ^a   Jin, Renling ^b   Katz, Mikhail G ^c  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b Department of Teacher Education and Department of Sociology and Anthropology   (United States)

^c BAR ILAN UNIVERSITY   (Israel)

Author keywords

Eudoxus; Hyperreals; Infinitesimals; Limit ultrapower; Universal hyperreal field

Indexed keywords

EID: 84869391881     PISSN: 00294527     EISSN: None     Source Type: Journal    
DOI: 10.1215/00294527-1722755     Document Type: Article

References (42)

1. A'Campo, N., "A natural construction for the real numbers," preprint, arXiv:math/0301015v1 [math.GN] 559
2. Albeverio, S., R. Høegh-Krohn, J. E. Fenstad, and T. Lindstrøm, Nonstandard Methods in Stochastic Analysis and Mathematical Physics, vol. 22 of Pure and Applied Mathematics, Academic Press, Orlando, 1986. Zbl pre06017936. MR 0859372. 562
3. Anderson, R. M., "Infinitesimal methods in mathematical economics," preprint, 2008. 562
4. Arkeryd, L., "Intermolecular forces of infinite range and the Boltzmann equation," Archive for Rational Mechanics and Analysis, vol. 77 (1981), pp. 11-21. Zbl 0547.76085. MR 0630119. 562
5. Arkeryd, L., "Nonstandard analysis," American Mathematical Monthly, vol. 112 (2005), pp. 926-28. Zbl 1128.03300. MR 2186838. 562
6. Arthan, R., "An irrational construction of ℝ from ℤ," pp. 43-58 in Theorem Proving in Higher Order Logics (Edinburgh, 2001), vol. 2152 of Lecture Notes in Computer Science, Springer, Berlin, 2001. Zbl 1005.68534. MR 1907599. 559, 567
7. Arthan, R., "The Eudoxus real numbers," preprint, arXiv:math/0405454v1 [math.HO] 557, 558, 559, 567
8. Błasczcyk, P., M. Katz, and D. Sherry, "Ten misconceptions from the history of analysis and their debunking," Foundations of Science, published electronically March 22, 2012, http://dx.doi.org/10.1007/s10699-012- 9285-8 562
9. Borovik, A., and M. Katz, "Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus," Foundations of Science, vol. 17 (2012), 245-76, http://dx.doi.org/10.1007/s10699-011-9235-X 562
10. Bråting, K., "A new look at E. G. Björling and the Cauchy sum theorem," Archive for History of Exact Sciences, vol. 61 (2007), pp. 519-35. Zbl 1151.01008. MR 2329097. 562
11. Chang, C. C., and H. J. Keisler, Model Theory, 3rd edition, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1990. Zbl 0697.03022. MR 1059055. 562, 565, 566
12. Deiser, O., Reelle Zahlen: Das klassische Kontinuum und die natürlichen Folgen, 2nd corrected and expanded edition, Springer-Lehrbuch, Springer, Berlin, 2008. Zbl 1186.03065. MR 2841565. 559
13. Ehrlich, P., "The rise of non-Archimedean mathematics and the roots of a misconception, I: The emergence of non-Archimedean systems of magnitudes," Archive for History of Exact Sciences, vol. 60 (2006), pp. 1-121. Zbl 1086.01024. MR 2206281. 559
14. Ehrlich, P., "The absolute arithmetic continuum and the unification of all numbers great and small," Bulletin of Symbolic Logic, vol. 18 (2012), pp. 1-45. Zbl pre06026116. 558, 564, 567
15. Ely, R., "Nonstandard student conceptions about infinitesimals, " Journal for Research in Mathematics Education, vol. 41 (2010), pp. 117-46. 562
16. Giordano, P., and M. Katz, "Two ways of obtaining infinitesimals by refining Cantor's completion of the reals," preprint, arXiv:1109.3553v1 [math.LO] 562
17. Goldblatt, R., Lectures on the Hyperreals. An Introduction to Nonstandard Analysis, vol. 188 of Graduate Texts in Mathematics, Springer, New York, 1998. Zbl 0911.03032. MR 1643950. 561
18. Grundhöfer, T., "Describing the real numbers in terms of integers," Archiv der Mathematik (Basel), vol. 85 (2005), pp. 79-81. Zbl 1098.16017. MR 2155112. 559
19. Hewitt, E., "Rings of real-valued continuous functions, I," Transactions of the American Mathematical Society, vol. 64 (1948), pp. 45-99. Zbl 0032.28603. MR 0026239. 559, 561
20. Kanovei, V. G., "Correctness of the Euler method of decomposing the sine function into an infinite product" (in Russian), Uspekhi Matematicheskikh Nauk, vol. 43 (1988), no. 4, pp. 57-81; English translation in Russian Mathematical Surveys, vol. 49 (1988), 65-94. MR 0969566. 562
21. Kanovei, V. G., and M. Reeken, Nonstandard Analysis, Axiomatically, Springer Monographs in Mathematics, Springer, Berlin, 2004. 558
22. Katz, K., and M. Katz, "When is 1999 : : : less than 1?," Montana Mathematics Enthusiast, vol. 7 (2010), pp. 3-30. 562
23. Katz, K., and M. Katz, "Zooming in on infinitesimal 1 - .9. in a post-triumvirate era," Educational Studies in Mathematics, vol. 74 (2010), pp. 259-73. 562
24. Katz, K., and M. Katz, "Cauchy's continuum," Perspectives on Science, vol. 19 (2011), pp. 426-52. MR 2884218. 562
25. Katz, K., and M. Katz, "Meaning in classical mathematics: Is it at odds with intuitionism?" Intellectica, vol. 56 (2011), pp. 223-302.
26. Katz, K., and M. Katz, "A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography," Foundations of Science, vol. 17 (2012), pp. 51-89.
27. Katz, K., and M. Katz, "Stevin numbers and reality," Foundations of Science, vol. 17 (2012), pp. 109-23. 562
28. Katz, M., and E. Leichtnam, "Commuting and non-commuting infinitesimals," to appear in American Mathematical Monthly. 562
29. Katz, M., and D. Sherry, "Leibniz's infinitesimals: Their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond," Erkenntnis, published electronically April 20, 2012, http://dx.doi.org/10.1007/s10670-012-9370-y 562
30. Katz, M., and D. Sherry, "Leibniz's laws of continuity and homogeneity," Notices of the American Mathematical Society, vol. 59 (2012), no. 11. 562
31. Katz, M., and D. Tall, "The tension between intuitive infinitesimals and formal mathematical analysis," pp. 71-89 in Crossroads in the History of Mathematics and Mathematics Education, edited by B. Sriraman, vol. 12 of The Montana Mathematics Enthusiast Monographs in Mathematics Education, Information Age Publishing, Charlotte, N.C., 2012. 562
32. Keisler, H. J., "Limit ultrapowers," Transactions of the American Mathematical Society, vol. 107 (1963), pp. 382-408. Zbl 0122.24504. MR 0148547. 562, 563
33. Kunen, K., "Ultrafilters and independent sets," Transactions of the American Mathematical Society, vol. 172 (1972), pp. 299-306. Zbl 0263.02033. MR 0314619. 566
34. Kunen, K., Set Theory: An Introduction to Independence Proofs, vol. 102 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980. Zbl 0443.03021. MR 0597342. 567
35. Méray, H. C. R., "Remarques sur la nature des quantités définies par la condition de servir de limites à des variables données," Revue des sociétiés savantes des départments, Section sciences mathématiques, physiques et naturelles (4), vol. 10 (1869), pp. 280-89. 567
36. Rust, H., "Operational semantics for timed systems," Lecture Notes in Computer Science, vol. 3456 (2005), pp. 23-29. 562
37. Schmieden, C., and D. Laugwitz, "Eine Erweiterung der Infinitesimalrechnung," Mathematische Zeitschrift, vol. 69 (1958), pp. 1-39. Zbl 0082.04203. MR 0095906. 560
38. Shenitzer, A., "A topics course in mathematics," The Mathematical Intelligencer, vol. 9 (1987), pp. 44-52. Zbl 0623.01029. 567
39. Skolem, T., "Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen," Fundamenta Mathamaticae, vol. 23 (1934), pp. 150-61. 560
40. Street, R., "Update on the efficient reals," preprint, 2003. Zbl pre06016604. 559
41. Weber, M. "Leopold Kronecker," Mathematische Annalen, vol. 43 (1893), pp. 1-25. 557
42. Weil, A., "Book Review: The mathematical career of Pierre de Fermat," Bulletin of the American Mathematical Society, vol. 79 (1973), pp. 1138-49. MR 1566693. 567