{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T10:49:43Z","timestamp":1775645383238,"version":"3.50.1"},"reference-count":43,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1722755","type":"journal-article","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T14:20:17Z","timestamp":1352384417000},"source":"Crossref","is-referenced-by-count":9,"title":["An Integer Construction of Infinitesimals: Toward a Theory of Eudoxus Hyperreals"],"prefix":"10.1215","volume":"53","author":[{"given":"Alexandre","family":"Borovik","sequence":"first","affiliation":[]},{"given":"Renling","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Mikhail G.","family":"Katz","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] A\u2019Campo, N., \u201cA natural construction for the real numbers,\u201d preprint, <a href=\"arXiv:math\/0301015v1\">arXiv:math\/0301015v1<\/a> [math.GN]"},{"key":"7","unstructured":"[7] Arthan, R., \u201cThe Eudoxus real numbers,\u201d preprint, <a href=\"arXiv:math\/0405454v1\">arXiv:math\/0405454v1<\/a> [math.HO]"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] B\u0142asczcyk, P., M. Katz, and D. Sherry, \u201cTen misconceptions from the history of analysis and their debunking,\u201d <i>Foundations of Science<\/i>, published electronically March 22, 2012, <a href=\"http:\/\/dx.doi.org\/10.1007\/s10699-012-9285-8\">http:\/\/dx.doi.org\/10.1007\/s10699-012-9285-8<\/a>","DOI":"10.1007\/s10699-012-9285-8"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Borovik, A., and M. Katz, \u201cWho gave you the Cauchy\u2013Weierstrass tale? The dual history of rigorous calculus,\u201d <i>Foundations of Science<\/i>, vol. 17 (2012), 245\u201376, <a href=\"http:\/\/dx.doi.org\/10.1007\/s10699-011-9235-X\">http:\/\/dx.doi.org\/10.1007\/s10699-011-9235-X<\/a>","DOI":"10.1007\/s10699-011-9235-x"},{"key":"16","unstructured":"[16] Giordano, P., and M. Katz, \u201cTwo ways of obtaining infinitesimals by refining Cantor\u2019s completion of the reals,\u201d preprint, <a href=\"arXiv:1109.3553v1\">arXiv:1109.3553v1<\/a> [math.LO]"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Katz, M., and D. Sherry, \u201cLeibniz\u2019s infinitesimals: Their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond,\u201d <i>Erkenntnis<\/i>, published electronically April 20, 2012, <a href=\"http:\/\/dx.doi.org\/10.1007\/s10670-012-9370-y\">http:\/\/dx.doi.org\/10.1007\/s10670-012-9370-y<\/a>","DOI":"10.1007\/s10670-012-9370-y"},{"key":"2","unstructured":"[2] Albeverio, S., R. H\u00f8egh-Krohn, J. E. Fenstad, and T. Lindstr\u00f8 m, <i>Nonstandard Methods in Stochastic Analysis and Mathematical Physics<\/i>, vol. 22 of <i>Pure and Applied Mathematics<\/i>, Academic Press, Orlando, 1986."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Anderson, R. M., \u201cInfinitesimal methods in mathematical economics,\u201d preprint, 2008.","DOI":"10.2139\/ssrn.3769003"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Arkeryd, L., \u201cIntermolecular forces of infinite range and the Boltzmann equation,\u201d <i>Archive for Rational Mechanics and Analysis<\/i>, vol. 77 (1981), pp. 11\u201321.","DOI":"10.1007\/BF00280403"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Arkeryd, L., \u201cNonstandard analysis,\u201d <i>American Mathematical Monthly<\/i>, vol. 112 (2005), pp. 926\u201328.","DOI":"10.2307\/30037635"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Arthan, R., \u201cAn irrational construction of $\\mathbb{R}$ from $\\mathbb{Z}$,\u201d pp. 43\u201358 in <i>Theorem Proving in Higher Order Logics (Edinburgh, 2001)<\/i>, vol. 2152 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2001.","DOI":"10.1007\/3-540-44755-5_5"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Br\u00e5ting, K., \u201cA new look at E. G. Bj\u00f6rling and the Cauchy sum theorem,\u201d <i>Archive for History of Exact Sciences<\/i>, vol. 61 (2007), pp. 519\u201335.","DOI":"10.1007\/s00407-007-0005-7"},{"key":"11","unstructured":"[11] Chang, C. C., and H. J. Keisler, <i>Model Theory<\/i>, 3rd edition, vol. 73 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1990."},{"key":"12","unstructured":"[12] Deiser, O., <i>Reelle Zahlen: Das klassische Kontinuum und die nat\u00fcrlichen Folgen<\/i>, 2nd corrected and expanded edition, <i>Springer-Lehrbuch<\/i>, Springer, Berlin, 2008."},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Ehrlich, P., \u201cThe rise of non-Archimedean mathematics and the roots of a misconception, I: The emergence of non-Archimedean systems of magnitudes,\u201d <i>Archive for History of Exact Sciences<\/i>, vol. 60 (2006), pp. 1\u2013121.","DOI":"10.1007\/s00407-005-0102-4"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Ehrlich, P., \u201cThe absolute arithmetic continuum and the unification of all numbers great and small,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 18 (2012), pp. 1\u201345.","DOI":"10.2178\/bsl\/1327328438"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Ely, R., \u201cNonstandard student conceptions about infinitesimals,\u201d <i>Journal for Research in Mathematics Education<\/i>, vol. 41 (2010), pp. 117\u201346.","DOI":"10.5951\/jresematheduc.41.2.0117"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Goldblatt, R., <i>Lectures on the Hyperreals. An Introduction to Nonstandard Analysis<\/i>, vol. 188 of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 1998.","DOI":"10.1007\/978-1-4612-0615-6"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Grundh\u00f6fer, T., \u201cDescribing the real numbers in terms of integers,\u201d <i>Archiv der Mathematik (Basel)<\/i>, vol. 85 (2005), pp. 79\u201381.","DOI":"10.1007\/s00013-005-1413-z"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Hewitt, E., \u201cRings of real-valued continuous functions, I,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 64 (1948), pp. 45\u201399.","DOI":"10.1090\/S0002-9947-1948-0026239-9"},{"key":"#cr-split#-20.1","doi-asserted-by":"crossref","unstructured":"[20] Kanovei, V. G., \"Correctness of the Euler method of decomposing the sine function into an infinite product\" (in Russian), <i>Uspekhi Matematicheskikh Nauk<\/i>, vol. 43 (1988), no. 4, pp. 57-81","DOI":"10.1070\/RM1988v043n04ABEH001868"},{"key":"#cr-split#-20.2","unstructured":"English translation in <i>Russian Mathematical Surveys<\/i>, vol. 49 (1988), 65-94."},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Kanovei, V. G., and M. Reeken, <i>Nonstandard Analysis, Axiomatically<\/i>, Springer Monographs in Mathematics, Springer, Berlin, 2004.","DOI":"10.1007\/978-3-662-08998-9"},{"key":"22","unstructured":"[22] Katz, K., and M. Katz, \u201cWhen is $.999\\ldots$ less than $1$?,\u201d <i>Montana Mathematics Enthusiast<\/i>, vol. 7 (2010), pp. 3\u201330."},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Katz, K., and M. Katz, \u201cZooming in on infinitesimal $1-.9..$ in a post-triumvirate era,\u201d <i>Educational Studies in Mathematics<\/i>, vol. 74 (2010), pp. 259\u201373.","DOI":"10.1007\/s10649-010-9239-4"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Katz, K., and M. Katz, \u201cCauchy\u2019s continuum,\u201d <i>Perspectives on Science<\/i>, vol. 19 (2011), pp. 426\u201352.","DOI":"10.1162\/POSC_a_00047"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Katz, K., and M. Katz, \u201cMeaning in classical mathematics: Is it at odds with intuitionism?\u201d <i>Intellectica<\/i>, vol. 56 (2011), pp. 223\u2013302.","DOI":"10.3406\/intel.2011.1154"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Katz, K., and M. Katz, \u201cA Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography,\u201d <i>Foundations of Science<\/i>, vol. 17 (2012), pp. 51\u201389.","DOI":"10.1007\/s10699-011-9223-1"},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] Katz, K., and M. Katz, \u201cStevin numbers and reality,\u201d <i>Foundations of Science<\/i>, vol. 17 (2012), pp. 109\u201323.","DOI":"10.1007\/s10699-011-9228-9"},{"key":"28","unstructured":"[28] Katz, M., and E. Leichtnam, \u201cCommuting and non-commuting infinitesimals,\u201d to appear in <i>American Mathematical Monthly<\/i>."},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Katz, M., and D. Sherry, \u201cLeibniz\u2019s laws of continuity and homogeneity,\u201d <i>Notices of the American Mathematical Society<\/i>, vol. 59 (2012), no. 11.","DOI":"10.1090\/noti921"},{"key":"31","unstructured":"[31] Katz, M., and D. Tall, \u201cThe tension between intuitive infinitesimals and formal mathematical analysis,\u201d pp. 71\u201389 in <i>Crossroads in the History of Mathematics and Mathematics Education<\/i>, edited by B. Sriraman, vol. 12 of <i>The Montana Mathematics Enthusiast Monographs in Mathematics Education<\/i>, Information Age Publishing, Charlotte, N.C., 2012."},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] Keisler, H. J., \u201cLimit ultrapowers,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 107 (1963), pp. 382\u2013408.","DOI":"10.1090\/S0002-9947-1963-0148547-1"},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] Kunen, K., \u201cUltrafilters and independent sets,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 172 (1972), pp. 299\u2013306.","DOI":"10.1090\/S0002-9947-1972-0314619-7"},{"key":"34","unstructured":"[34] Kunen, K., <i>Set Theory: An Introduction to Independence Proofs<\/i>, vol. 102 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1980."},{"key":"35","unstructured":"[35] M\u00e9ray, H. C. R., \u201cRemarques sur la nature des quantit\u00e9s d\u00e9finies par la condition de servir de limites \u00e0 des variables donn\u00e9es,\u201d <i>Revue des soci\u00e9ti\u00e9s savantes des d\u00e9partments, Section sciences math\u00e9matiques, physiques et naturelles<\/i> (4), vol. 10 (1869), pp. 280\u201389."},{"key":"36","doi-asserted-by":"crossref","unstructured":"[36] Rust, H., \u201cOperational semantics for timed systems,\u201d <i>Lecture Notes in Computer Science<\/i>, vol. 3456 (2005), pp. 23\u201329.","DOI":"10.1007\/978-3-540-32008-1_4"},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] Schmieden, C., and D. Laugwitz, \u201cEine Erweiterung der Infinitesimalrechnung,\u201d <i>Mathematische Zeitschrift<\/i>, vol. 69 (1958), pp. 1\u201339.","DOI":"10.1007\/BF01187391"},{"key":"38","doi-asserted-by":"crossref","unstructured":"[38] Shenitzer, A., \u201cA topics course in mathematics,\u201d <i>The Mathematical Intelligencer<\/i>, vol. 9 (1987), pp. 44\u201352.","DOI":"10.1007\/BF03023955"},{"key":"39","doi-asserted-by":"crossref","unstructured":"[39] Skolem, T., \u201c\u00dcber die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abz\u00e4hlbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen,\u201d <i>Fundamenta Mathamaticae<\/i>, vol. 23 (1934), pp. 150\u201361.","DOI":"10.4064\/fm-23-1-150-161"},{"key":"40","unstructured":"[40] Street, R., \u201cUpdate on the efficient reals,\u201d preprint, 2003."},{"key":"41","doi-asserted-by":"publisher","unstructured":"[41] Weber, M. \u201cLeopold Kronecker,\u201d <i>Mathematische Annalen<\/i>, vol. 43 (1893), pp. 1\u201325.","DOI":"10.1007\/BF01446613"},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] Weil, A., \u201cBook Review: The mathematical career of Pierre de Fermat,\u201d <i>Bulletin of the American Mathematical Society<\/i>, vol. 79 (1973), pp. 1138\u201349.","DOI":"10.1090\/S0002-9904-1973-13354-3"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1722755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:58Z","timestamp":1706648278000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-4\/An-Integer-Construction-of-Infinitesimals--Toward-a-Theory-of\/10.1215\/00294527-1722755.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":43,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1722755","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}