{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:11:10Z","timestamp":1740147070653,"version":"3.37.3"},"reference-count":89,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,5,1]],"date-time":"2014-05-01T00:00:00Z","timestamp":1398902400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11787-014-0102-8","type":"journal-article","created":{"date-parts":[[2014,4,30]],"date-time":"2014-04-30T09:10:28Z","timestamp":1398849028000},"page":"193-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Toward a Clarity of the Extreme Value Theorem"],"prefix":"10.1007","volume":"8","author":[{"given":"Karin U.","family":"Katz","sequence":"first","affiliation":[]},{"given":"Mikhail G.","family":"Katz","sequence":"additional","affiliation":[]},{"given":"Taras","family":"Kudryk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,1]]},"reference":[{"key":"102_CR1","unstructured":"Bair, J., B\u0142aszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K., Katz, M., Kutateladze, S., McGaffey, T., Schaps, D., Sherry, D., Shnider, S.: Is mathematical history written by the victors? Notices Am. Math. Soc. 60(7), 886\u2013904 (2013). See http:\/\/www.ams.org\/notices\/201307\/rnoti-p886.pdf and http:\/\/arxiv.org\/abs\/1306.5973"},{"key":"102_CR2","unstructured":"Bair, J., B\u0142aszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K., Katz, M., Kutateladze, S., McGaffey, T., Schaps, D., Sherry, D., Shnider, S.: Interpreting Euler\u2019s infinitesimal mathematics (2014), in preparation"},{"issue":"2","key":"102_CR3","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s00407-013-0124-2","volume":"68","author":"T. Bascelli","year":"2014","unstructured":"Bascelli T.: Galileo\u2019s quanti: understanding infinitesimal magnitudes. Arch. Hist. Exact Sci. 68(2), 121\u2013136 (2014)","journal-title":"Arch. Hist. Exact Sci."},{"key":"102_CR4","doi-asserted-by":"crossref","unstructured":"Bascelli, T., Bottazzi, E., Herzberg, F., Kanovei, V., Katz, K., Katz, M., Nowik, T., Sherry, D., Shnider, S.: Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow. Notices Am. Math. Soc. (2014), to appear","DOI":"10.1090\/noti1149"},{"key":"102_CR5","unstructured":"Beeson, M.: Foundations of Constructive Mathematics. Metamathematical Studies. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 6. Springer, Berlin (1985)"},{"key":"102_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511619625","volume-title":"A Primer of Infinitesimal Analysis. 2nd edn","author":"J. Bell","year":"2008","unstructured":"Bell J.: A Primer of Infinitesimal Analysis. 2nd edn. Cambridge University Press, Cambridge (2008)"},{"key":"102_CR7","unstructured":"Bell, J.: Continuity and infinitesimals. Stanford Encyclopedia of philosophy. Revised 20 July 2009"},{"key":"102_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.2307\/2183530","volume":"74","author":"P. Benacerraf","year":"1965","unstructured":"Benacerraf P.: What numbers could not be. Philos. Rev. 74, 47\u201373 (1965)","journal-title":"Philos. Rev."},{"issue":"4","key":"102_CR9","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1002\/malq.200410038","volume":"51","author":"J. Berger","year":"2005","unstructured":"Berger J., Ishihara H.: Brouwer\u2019s fan theorem and unique existence in constructive analysis. MLQ Math. Log. Q. 51(4), 360\u2013364 (2005)","journal-title":"MLQ Math. Log. Q."},{"issue":"(2","key":"102_CR10","doi-asserted-by":"crossref","first-page":"713","DOI":"10.2178\/jsl\/1146620167","volume":"71","author":"J. Berger","year":"2006","unstructured":"Berger J., Bridges D., Schuster P.: The fan theorem and unique existence of maxima. J. Symbolic Logic 71((2), 713\u2013720 (2006)","journal-title":"J. Symbolic Logic"},{"key":"102_CR11","volume-title":"Foundations of Constructive Analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop E.: Foundations of Constructive Analysis. McGraw-Hill Book Co., New York (1967)"},{"key":"102_CR12","unstructured":"Bishop, E.: The crisis in contemporary mathematics. In: Proceedings of the American Academy Workshop on the Evolution of Modern Mathematics (Boston, Mass.). Historia Math. 2(1975), no. 4, 507\u2013517 (1974)"},{"key":"102_CR13","doi-asserted-by":"crossref","unstructured":"Bishop, E.: Schizophrenia in contemporary mathematics [published posthumously; originally distributed in 1973]. In Errett Bishop: reflections on him and his research (San Diego, Calif., 1983), pp. 1\u201332, Contemp. Math. 39, Am. Math. Soc., Providence, RI (1985)","DOI":"10.1090\/conm\/039\/788163"},{"key":"102_CR14","doi-asserted-by":"crossref","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 279. Springer, Berlin (1985)","DOI":"10.1007\/978-3-642-61667-9"},{"key":"102_CR15","unstructured":"Boniface, J., Schappacher, N.: \u201cSur le concept de nombre en math\u00e9matique\u201d: cours in\u00e9dit de Leopold Kronecker \u00e0 \u00e0 Berlin (1891). [\u201cOn the concept of number in mathematics\u201d: Leopold Kronecker\u2019s 1891 Berlin lectures] Rev. Histoire Math. 7(2), 206\u2013275 (2001)"},{"key":"102_CR16","doi-asserted-by":"crossref","unstructured":"Borovik, A., Katz, M.: Who gave you the Cauchy\u2013Weierstrass tale? The dual history of rigorous calculus. Found. Sci. 17(3), 245\u2013276 (2012). See http:\/\/dx.doi.org\/10.1007\/s10699-011-9235-x and http:\/\/arxiv.org\/abs\/1108.2885","DOI":"10.1007\/s10699-011-9235-x"},{"key":"102_CR17","doi-asserted-by":"crossref","unstructured":"Bottazzini, U.: The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass. Translated from the Italian by Warren Van Egmond. Springer, New York (1986)","DOI":"10.1007\/978-1-4612-4944-3"},{"key":"102_CR18","unstructured":"Bridges, D.: Constructive Functional Analysis. Research Notes in Mathematics 28. Pitman (Advanced Publishing Program), Boston, Mass.-London (1979)"},{"key":"102_CR19","doi-asserted-by":"crossref","unstructured":"Bridges, D.: A Constructive look at the Real Number Line. In: Real numbers, generalizations of the reals, and theories of continua, pp. 29\u201392, see item [26] (1994)","DOI":"10.1007\/978-94-015-8248-3_2"},{"issue":"1","key":"102_CR20","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.jlap.2009.02.002","volume":"79","author":"D. Bridges","year":"2010","unstructured":"Bridges D.: Continuity and Lipschitz constants for projections. J. Log. Algebr. Program. 79(1), 2\u20139 (2010)","journal-title":"J. Log. Algebr. Program."},{"key":"102_CR21","unstructured":"Cauchy, A. L.: Cours d\u2019Analyse de L\u2019Ecole Royale Polytechnique. Premi\u00e8re Partie. Analyse alg\u00e9brique (Paris: Imprim\u00e9rie Royale, 1821)"},{"key":"102_CR22","unstructured":"Kock, A.: Synthetic Differential Geometry. 2nd edn. London Mathematical Society Lecture Note Series, vol. 333. Cambridge University Press, Cambridge (2006)"},{"key":"102_CR23","unstructured":"Davis, M.: Applied Nonstandard Analysis. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York-London-Sydney, 1977. Reprinted: Dover, New York (2005). see http:\/\/store.doverpublications.com\/0486442292.html"},{"issue":"1","key":"102_CR24","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/j.apal.2008.09.018","volume":"157","author":"H. Diener","year":"2009","unstructured":"Diener H., Loeb I.: Sequences of real functions on [0,1] in constructive reverse mathematics. Ann. Pure Appl. Logic 157(1), 50\u201361 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"102_CR25","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s00283-009-9028-z","volume":"31","author":"H. Edwards","year":"2009","unstructured":"Edwards H.: Kronecker\u2019s algorithmic mathematics. Math. Intell. 31(2), 11\u201314 (2009)","journal-title":"Math. Intell."},{"key":"102_CR26","doi-asserted-by":"crossref","unstructured":"Ehrlich, P. (ed.): Real numbers, generalizations of the reals, and theories of continua. In: Ehrlich, P. (ed.) Synthese Library, vol. 242. Kluwer Academic Publishers Group, Dordrecht (1994)","DOI":"10.1007\/978-94-015-8248-3"},{"issue":"1","key":"102_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00407-005-0102-4","volume":"60","author":"P. Ehrlich","year":"2006","unstructured":"Ehrlich P.: The rise of non-Archimedean mathematics and the roots of a misconception. I. The emergence of non-Archimedean systems of magnitudes. Arch. Hist. Exact Sci. 60(1), 1\u2013121 (2006)","journal-title":"Arch. Hist. Exact Sci."},{"key":"102_CR28","doi-asserted-by":"crossref","unstructured":"Feferman, S.: Relationships between constructive, predicative and classical systems of analysis. In: Proof theory (Roskilde, 1997), Synthese Lib., vol. 292, pp. 221\u2013236. Kluwer Acad. Publ., Dordrecht (2000)","DOI":"10.1007\/978-94-017-2796-9_10"},{"key":"102_CR29","unstructured":"Freudenthal, H.: Cauchy, Augustin-Louis. In: Gillispie, C.C. (ed.) Dictionary of Scientific Biography, vol. 3, pp. 131\u2013148. Charles Scribner\u2019s sons, New York (1971)"},{"key":"102_CR30","unstructured":"Gauthier, Y.: Internal logic. Foundations of mathematics from Kronecker to Hilbert. In: Synthese Library, vol. 310. Kluwer Academic Publishers Group, Dordrecht (2002)"},{"issue":"2","key":"102_CR31","first-page":"223","volume":"56","author":"Y. Gauthier","year":"2009","unstructured":"Gauthier Y.: Classical function theory and applied proof theory. Int. J. Pure Appl. Math. 56(2), 223\u2013233 (2009)","journal-title":"Int. J. Pure Appl. Math."},{"key":"102_CR32","unstructured":"Gauthier, Y.: Kronecker in contemporary mathematics. General arithmetic as a foundational programme. Reports on mathematical logic 48, 37\u201365 (2013). See http:\/\/dx.doi.org\/10.4467\/20842589RM.13.002.1254"},{"key":"102_CR33","unstructured":"Gispert-Chambaz, H.: Camille Jordan et les fondements de l\u2019Analyse. Publications Mathematiques d\u2019Orsay 82-05"},{"key":"102_CR34","doi-asserted-by":"crossref","first-page":"168","DOI":"10.4064\/fm-42-1-168-202","volume":"42","author":"A. Grzegorczyk","year":"1955","unstructured":"Grzegorczyk A.: Computable functionals. Fundamenta Mathematicae 42, 168\u2013202 (1955)","journal-title":"Fundamenta Mathematicae"},{"key":"102_CR35","unstructured":"Guillaume, M.: \u201cReview of Katz, M.; Sherry, D. Leibniz\u2019s infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond. Erkenntnis 78(3), 571\u2013625 (2013)\u201d Math. Rev. (2014). See http:\/\/www.ams.org\/mathscinet-getitem?mr=3053644"},{"key":"102_CR36","unstructured":"Hardy, G., Wright, E.: An introduction to the theory of numbers. 6th edn. Revised by D. R. Heath-Brown and J. H. Silverman. Oxford University Press, Oxford (2008)"},{"issue":"6","key":"102_CR37","doi-asserted-by":"crossref","first-page":"362","DOI":"10.2307\/2321645","volume":"89","author":"W. Hatcher","year":"1982","unstructured":"Hatcher W.: Calculus is algebra. Amer. Math. Monthly 89(6), 362\u2013370 (1982)","journal-title":"Amer. Math. Monthly"},{"issue":"1","key":"102_CR38","first-page":"86","volume":"44","author":"J. Havenel","year":"2008","unstructured":"Havenel J.: Peirce\u2019s clarifications of continuity. Trans. Charles S. Peirce Soc. Q. J. Am. Philos. 44(1), 86\u2013133 (2008)","journal-title":"Trans. Charles S. Peirce Soc. Q. J. Am. Philos."},{"issue":"3","key":"102_CR39","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1093\/bjps\/49.3.425","volume":"49","author":"G. Hellman","year":"1998","unstructured":"Hellman G.: Mathematical constructivism in spacetime. British J. Philos. Sci. 49(3), 425\u2013450 (1998)","journal-title":"British J. Philos. Sci."},{"key":"102_CR40","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1090\/S0002-9947-1948-0026239-9","volume":"64","author":"E. Hewitt","year":"1948","unstructured":"Hewitt E.: Rings of real-valued continuous functions. I. Trans. Amer. Math. Soc. 64, 45\u201399 (1948)","journal-title":"Amer. Math. Soc."},{"issue":"3","key":"102_CR41","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1002\/malq.19900360307","volume":"36","author":"H. Ishihara","year":"1990","unstructured":"Ishihara H.: An omniscience principle, the K\u00f6nig lemma and the Hahn-Banach theorem. Z. Math. Logik Grundlag. Math. 36(3), 237\u2013240 (1990)","journal-title":"Logik Grundlag. Math."},{"key":"102_CR42","unstructured":"K\u00e4stner, A.G.: Anfangsgr\u00fcnde der Analysis endlicher Gr\u00f6\u00dfen. Witwe Vandenhoeck, G\u00f6ttingen (1760). See http:\/\/gdz.sub.uni-goettingen.de\/no_cache\/dms\/load\/img\/?IDDOC=116776"},{"key":"102_CR43","doi-asserted-by":"crossref","unstructured":"Katz, K., Katz, M.: A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography. Found. Sci. 17(1), 51\u201389 (2012). See http:\/\/dx.doi.org\/10.1007\/s10699-011-9223-1 and http:\/\/arxiv.org\/abs\/1104.0375","DOI":"10.1007\/s10699-011-9223-1"},{"issue":"3","key":"102_CR44","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1162\/POSC_a_00101","volume":"21","author":"M. Katz","year":"2013","unstructured":"Katz M., Schaps D., Shnider S.: Almost equal: the method of adequality from diophantus to fermat and beyond. Perspect. Sci. 21(3), 283\u2013324 (2013)","journal-title":"Perspect. Sci."},{"key":"102_CR45","unstructured":"Katz, M., Sherry, D.: Leibniz\u2019s laws of continuity and homogeneity. Notices Am. Math. Soc. 59(11), 1550\u20131558 (2012). See http:\/\/www.ams.org\/notices\/201211\/ and http:\/\/arxiv.org\/abs\/1211.7188"},{"key":"102_CR46","doi-asserted-by":"crossref","unstructured":"Katz, M., Sherry, D.: Leibniz\u2019s infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond. Erkenntnis 78(3), 571\u2013625 (2013). See http:\/\/dx.doi.org\/10.1007\/s10670-012-9370-y and http:\/\/arxiv.org\/abs\/1205.0174","DOI":"10.1007\/s10670-012-9370-y"},{"issue":"1","key":"102_CR47","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10699-012-9289-4","volume":"18","author":"M. Katz","year":"2013","unstructured":"Katz M., Tall D.: A Cauchy-Dirac delta function. Found. Sci. 18(1), 107\u2013123 (2013)","journal-title":"Found. Sci."},{"key":"102_CR48","unstructured":"Katz, V.: \u201cReview of Bair et\u00a0al., Is mathematical history written by the victors? Notices Amer. Math. Soc. 60 (2013), no. 7, 886\u2013904.\u201d Math. Rev. (2014). See http:\/\/www.ams.org\/mathscinet-getitem?mr=3086638"},{"key":"102_CR49","unstructured":"Keisler, H.J.: Elementary Calculus: an Infinitesimal Approach. 2nd edn. Prindle, Weber & Schimidt, Boston (1986)"},{"key":"102_CR50","doi-asserted-by":"crossref","unstructured":"Keisler, H.J.: The hyperreal line. In: Real Numbers, Generalizations of the Reals, and Theories of Continua, pp. 207\u2013237 (see item Ehrlich 1994 [26])","DOI":"10.1007\/978-94-015-8248-3_8"},{"key":"102_CR51","unstructured":"Klein, F.: Elementary Mathematics from an Advanced Standpoint. vol. I. Arithmetic, Algebra, Analysis. Translation by E. R. Hedrick and C. A. Noble [Macmillan, New York, 1932] from the third German edition [Springer, Berlin 1924]"},{"key":"102_CR52","doi-asserted-by":"crossref","unstructured":"Knobloch, E.: Leibniz\u2019s rigorous foundation of infinitesimal geometry by means of Riemannian sums. Found. Formal Sci., 1 (Berlin, 1999). Synthese 133(1\u20132), 59\u201373 (2002)","DOI":"10.1023\/A:1020859101830"},{"key":"102_CR53","unstructured":"Knobloch, E.: Galileo and German thinkers: Leibniz. In: Galileo and the Galilean school in universities in the seventeenth century (Italian), vol. 14, pp. 127\u2013139, Studi Cent. Interuniv. Stor. Univ. Ital. CLUEB, Bologna 2011"},{"key":"102_CR54","doi-asserted-by":"crossref","unstructured":"Knobloch, E.: \u201cReview of: Katz, M.; Schaps, D.; Shnider, S. Almost equal: the method of adequality from Diophantus to Fermat and beyond. Perspectives on Science 21(3), 283\u2013324 (2013).\u201d Math. Rev. (2014). See http:\/\/www.ams.org\/mathscinet-getitem?mr=3114421","DOI":"10.1162\/POSC_a_00101"},{"issue":"1","key":"102_CR55","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0168-0072(93)90213-W","volume":"64","author":"U. Kohlenbach","year":"1993","unstructured":"Kohlenbach U.: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Valle\u00e9 Poussin\u2019s proof for Chebycheff approximation. Ann. Pure Appl. Logic 64(1), 27\u201394 (1993)","journal-title":"Ann. Pure Appl. Logic"},{"key":"102_CR56","unstructured":"Kohlenbach, U.: Applied proof theory: proof interpretations and their use in mathematics. In: Springer Monographs in Mathematics. Springer, Berlin (2008)"},{"key":"102_CR57","unstructured":"Kreinovich, V.: Categories of space-time models (Russian). PhD dissertation, Soviet Academy of Sciences, Siberian Branch, Institute of Mathematics (1979)"},{"key":"102_CR58","unstructured":"Kreinovich, V.: Review of D.S. Bridges, Constructive functional analysis, Pitman, London 1979 (see item [18] above). Zbl 401:03027; Math Reviews 82k:03094"},{"key":"102_CR59","unstructured":"Kronecker, L.: \u00dcber den Begriff der Zahl in der Mathematik. 1891 lecture. First published in Boniface & Schappacher 2001 [14]"},{"issue":"3","key":"102_CR60","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00329867","volume":"39","author":"D. Laugwitz","year":"1989","unstructured":"Laugwitz D.: Definite values of infinite sums: aspects of the foundations of infinitesimal analysis around 1820. Arch. Hist. Exact Sci. 39(3), 195\u2013245 (1989)","journal-title":"Arch. Hist. Exact Sci."},{"issue":"4","key":"102_CR61","first-page":"377","volume":"21","author":"F. Lawvere","year":"1980","unstructured":"Lawvere F.: Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body. Third colloquium on categories (Amiens, 1980), Part I. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 21(4), 377\u2013392 (1980)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"key":"102_CR62","unstructured":"Lichtenberg, G.: Aphorisms. Translated by R. J. Hollingdale. Penguin Books (1990). [Book A is dated 1765\u20131770]"},{"key":"102_CR63","doi-asserted-by":"crossref","first-page":"242","DOI":"10.2307\/2316619","volume":"79","author":"A. Lightstone","year":"1972","unstructured":"Lightstone A.: Infinitesimals. Amer. Math. Monthly 79, 242\u2013251 (1972)","journal-title":"Amer. Math. Monthly"},{"key":"102_CR64","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f8m, T.: An Invitation to Nonstandard Analysis. Nonstandard Analysis and its Applications (Hull, 1986), pp. 1\u2013105, London Math. Soc. Stud. Texts 10, Cambridge Univ. Press, Cambridge (1988)","DOI":"10.1017\/CBO9781139172110.002"},{"key":"102_CR65","doi-asserted-by":"crossref","unstructured":"\u0141os, J.: Quelques remarques, th\u00e9or\u00e8mes et probl\u00e8mes sur les classes d\u00e9finissables d\u2019alg\u00e8bres, in Mathematical interpretation of formal systems, pp.98\u2013113, North-Holland Publishing Co., Amsterdam (1955)","DOI":"10.1016\/S0049-237X(09)70306-4"},{"key":"102_CR66","unstructured":"Mormann, T., Katz, M.: Infinitesimals as an issue of neo-Kantian philosophy of science. HOPOS J. Int. Soc. History Philos. Sci. 3(2), 236\u2013280 (2013). See http:\/\/www.jstor.org\/stable\/10.1086\/671348 and http:\/\/arxiv.org\/abs\/1304.1027"},{"key":"102_CR67","unstructured":"Novikov, S.: The second half of the 20th century and its results: the crisis of the society of physicists and mathematicians in Russia and in the West. (Russian) Istor.-Mat. Issled. (2) No. 7(42), 326\u2013356, 369 (2002)"},{"key":"102_CR68","unstructured":"Novikov, S.: The second half of the 20th century and its conclusion: crisis in the physics and mathematics community in Russia and in the West. Amer. Math. Soc. Transl. Ser. 2, 212, Geometry, topology, and mathematical physics, 1\u201324, Amer. Math. Soc., Providence, RI, 2004. (Translated from Istor.-Mat. Issled. (2) No. 7(42) (2002), 326\u2013356, 369; by A. Sossinsky)"},{"key":"102_CR69","doi-asserted-by":"crossref","unstructured":"Peirce, C. S.: Three grades of clearness. In: The Logic of Relatives. in The Monist vol. 7, pp. 161\u2013217 (1897)","DOI":"10.5840\/monist18977231"},{"key":"102_CR70","unstructured":"Reeder, P.: Infinitesimals for metaphysics: consequences for the ontologies of space and time. Degree Doctor of Philosophy, Ohio State University, Philosophy (2012)"},{"key":"102_CR71","volume-title":"Non-standard Analysis.","author":"A. Robinson","year":"1966","unstructured":"Robinson A.: Non-standard Analysis.. North-Holland Publishing Co., Amsterdam (1966)"},{"issue":"8","key":"102_CR72","doi-asserted-by":"crossref","first-page":"920","DOI":"10.2307\/2314383","volume":"75","author":"A. Robinson","year":"1968","unstructured":"Robinson A.: Reviews: foundations of constructive analysis. Am. Math. Monthly 75(8), 920\u2013921 (1968)","journal-title":"Am. Math. Monthly"},{"key":"102_CR73","doi-asserted-by":"crossref","unstructured":"Ross, D.: The constructive content of nonstandard measure existence proofs: is there any? pp. 229\u2013239 in reference Schuster et\u00a0al. [78]","DOI":"10.1007\/978-94-015-9757-9_20"},{"issue":"5","key":"102_CR74","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1002\/malq.200610008","volume":"52","author":"D. Ross","year":"2006","unstructured":"Ross D.: A nonstandard proof of a lemma from constructive measure theory. MLQ Math. Log. Q. 52(5), 494\u2013497 (2006)","journal-title":"MLQ Math. Log. Q."},{"key":"102_CR75","doi-asserted-by":"crossref","unstructured":"Rust, H.: Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems. Lecture Notes in Computer Science vol. 3456. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-32008-1"},{"issue":"147","key":"102_CR76","first-page":"277","volume":"51","author":"L. Sad","year":"2001","unstructured":"Sad L., Teixeira M., Baldino R.: Cauchy and the problem of point-wise convergence. Arch. Internat. Hist. Sci. 51(147), 277\u2013308 (2001)","journal-title":"Arch. Internat. Hist. Sci."},{"key":"102_CR77","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01187391","volume":"69","author":"C. Schmieden","year":"1958","unstructured":"Schmieden C., Laugwitz D.: Eine Erweiterung der Infinitesimalrechnung. (German) Math. Z. 69, 1\u201339 (1958)","journal-title":"(German) Math. Z."},{"key":"102_CR78","doi-asserted-by":"crossref","unstructured":"Schuster, P., Berger, U., Osswald, H.: (eds.) Reuniting the antipodes\u2014constructive and nonstandard views of the continuum. Proceedings of the symposium held in Venice, May 16\u201322, 1999. Synthese Library, vol. 306. Kluwer Academic Publishers, Dordrecht (2001)","DOI":"10.1007\/978-94-015-9757-9"},{"key":"102_CR79","unstructured":"Schuster, P.: Unique solutions. MLQ Math. Log. Q. 52(6), 534\u2013539 (2006) (with 53 (2007), no. 2, 214)"},{"issue":"1","key":"102_CR80","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.jlap.2009.02.007","volume":"79","author":"P. Schuster","year":"2010","unstructured":"Schuster P.: Problems, solutions, and completions. J. Log. Algebr. Program. 79(1), 84\u201391 (2010)","journal-title":"J. Log. Algebr. Program."},{"issue":"12","key":"102_CR81","first-page":"2086","volume":"11","author":"H. Schwichtenberg","year":"2005","unstructured":"Schwichtenberg H.: A direct proof of the equivalence between Brouwer\u2019s fan theorem and K\u00f6nig\u2019s lemma with a uniqueness hypothesis. J. UCS 11(12), 2086\u20132095 (2005)","journal-title":"J. UCS"},{"key":"102_CR82","unstructured":"Sherry, D.: The wake of Berkeley\u2019s Analyst: rigor mathematicae?. Stud. Hist. Philos. Sci. 18(4), 455\u2013480 (1987)"},{"issue":"2","key":"102_CR83","doi-asserted-by":"crossref","first-page":"97","DOI":"10.3406\/rhs.1973.3315","volume":"26","author":"H. Sinaceur","year":"1973","unstructured":"Sinaceur H.: Cauchy et Bolzano. Rev. Histoire Sci. Appl. 26(2), 97\u2013112 (1973)","journal-title":"Rev. Histoire Sci. Appl."},{"key":"102_CR84","doi-asserted-by":"crossref","unstructured":"Stroyan, K.: Uniform continuity and rates of growth of meromorphic functions. In: Contributions to non-standard analysis (Sympos., Oberwolfach, 1970), pp. 47\u201364. Studies in Logic and Foundations of Math., vol. 69. North-Holland, Amsterdam (1972)","DOI":"10.1016\/S0049-237X(08)71552-0"},{"key":"102_CR85","unstructured":"Tarski, A.: Une contribution \u00e0 \u00e0 la th\u00e9orie de la mesure. Fund. Math. 15, 42\u201350 (1930)"},{"key":"102_CR86","unstructured":"Taylor, R. G.: Review of real numbers, generalizations of the reals, and theories of continua, edited by Philip Ehrlich [see item [26] above]. Modern Logic8, 195\u2013212, Number 1\/2 (January 1998\u2013April 2000)"},{"key":"102_CR87","unstructured":"Troelstra, A., van Dalen, D.: Constructivism in mathematics. vol. 1. an introduction. In: Studies in Logic and the Foundations of Mathematics, 121. North-Holland Publishing Co., Amsterdam (1988)"},{"issue":"3","key":"102_CR88","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF00370558","volume":"47","author":"F. Wattenberg","year":"1988","unstructured":"Wattenberg F.: Nonstandard analysis and constructivism?. Studia Logica 47(3), 303\u2013309 (1988)","journal-title":"Studia Logica"},{"key":"102_CR89","unstructured":"Yau, S.-T., Nadis, S.: The Shape of Inner Space. String Theory and the Geometry of the Universe\u2019s Hidden Dimensions. Basic Books, New York (2010)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-014-0102-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-014-0102-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-014-0102-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T20:58:10Z","timestamp":1565384290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-014-0102-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,1]]},"references-count":89,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["102"],"URL":"https:\/\/doi.org\/10.1007\/s11787-014-0102-8","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2014,5,1]]}}}