{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:23:49Z","timestamp":1762298629252,"version":"3.37.3"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T00:00:00Z","timestamp":1495756800000},"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":["Synthese"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s11229-017-1450-8","type":"journal-article","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T15:09:51Z","timestamp":1495811391000},"page":"5059-5089","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Arithmetic, set theory, reduction and explanation"],"prefix":"10.1007","volume":"195","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5451-079X","authenticated-orcid":false,"given":"William","family":"D\u2019Alessandro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,26]]},"reference":[{"key":"1450_CR1","volume-title":"The Philosophy of Mathematical Practice","author":"J Avigad","year":"2008","unstructured":"Avigad, J. (2008). Understanding proofs. In P. Mancosu (Ed.), The Philosophy of Mathematical Practice. New York: Oxford University Press."},{"key":"1450_CR2","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1093\/analys\/anq074","volume":"70","author":"A Baker","year":"2010","unstructured":"Baker, A. (2010). Mathematical induction and explanation. Analysis, 70, 681\u2013689.","journal-title":"Analysis"},{"key":"1450_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1093\/philmat\/6.1.63","volume":"6","author":"M Balaguer","year":"1998","unstructured":"Balaguer, M. (1998). Non-uniqueness as a non-problem. Philosophia Mathematica, 6, 63\u201384.","journal-title":"Philosophia Mathematica"},{"key":"1450_CR4","doi-asserted-by":"publisher","first-page":"47","DOI":"10.2307\/2183530","volume":"74","author":"P Benacerraf","year":"1965","unstructured":"Benacerraf, P. (1965). What numbers could not be. Philosophical Review, 74, 47\u201373.","journal-title":"Philosophical Review"},{"key":"1450_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00327456","volume":"14","author":"HJM Bos","year":"1974","unstructured":"Bos, H. J. M. (1974). Differentials, higher-order differentials and the derivative in the Leibnizian calculus. Archive for History of Exact Sciences, 14, 1\u201390.","journal-title":"Archive for History of Exact Sciences"},{"key":"1450_CR6","volume-title":"Interdisciplinary Educational Research in Mathematics and its Connections to the Arts and Sciences","author":"J Carter","year":"2008","unstructured":"Carter, J. (2008). Visualization and understanding in mathematics. In B. Sriraman, C. Michelsen, A. Beckmann, & V. Freiman (Eds.), Interdisciplinary Educational Research in Mathematics and its Connections to the Arts and Sciences. Charlotte, NC: Information Age Publishing."},{"volume-title":"Metaphysical Grounding: Understanding the Structure of Reality","year":"2012","key":"1450_CR7","unstructured":"Correia, F., & Schnieder, B. (Eds.). (2012). Metaphysical Grounding: Understanding the Structure of Reality. Cambridge: Cambridge University Press."},{"key":"1450_CR8","volume-title":"Georg Cantor: His Mathematics and Philosophy of the Infinite","author":"J Dauben","year":"1979","unstructured":"Dauben, J. (1979). Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton: Princeton University Press."},{"key":"1450_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1080\/00455091.1982.10715803","volume":"12","author":"RR Dipert","year":"1982","unstructured":"Dipert, R. R. (1982). Set-theoretical representations of ordered pairs and their adequacy for the logic of relations. Canadian Journal of Philosophy, 12, 353\u2013374.","journal-title":"Canadian Journal of Philosophy"},{"key":"1450_CR10","volume-title":"The Geometry of Schemes","author":"D Eisenbud","year":"2000","unstructured":"Eisenbud, D., & Harris, J. (2000). The Geometry of Schemes. New York: Springer."},{"key":"1450_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S Feferman","year":"1960","unstructured":"Feferman, S. (1960). Arithmetization of mathematics in a general setting. Fundamenta Mathematicae, 49, 35\u201392.","journal-title":"Fundamenta Mathematicae"},{"key":"1450_CR12","first-page":"169","volume":"51","author":"S Feferman","year":"2009","unstructured":"Feferman, S. (2009). Conceptions of the continuum. Intellectica, 51, 169\u2013189.","journal-title":"Intellectica"},{"key":"1450_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/1-4020-3335-4_9","volume-title":"Visualization, Explanation and Reasoning Styles in Mathematics","author":"J Hafner","year":"2005","unstructured":"Hafner, J., & Mancosu, P. (2005). The varieties of mathematical explanation. In P. Mancosu, K. J\u00f8rgensen, & S. Pedersen (Eds.), Visualization, Explanation and Reasoning Styles in Mathematics (pp. 215\u2013250). Berlin: Springer."},{"key":"1450_CR14","volume-title":"Cantorian Set Theory and Limitation of Size","author":"M Hallett","year":"1984","unstructured":"Hallett, M. (1984). Cantorian Set Theory and Limitation of Size. New York: Oxford University Press."},{"key":"1450_CR15","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1086\/286983","volume":"15","author":"C Hempel","year":"1948","unstructured":"Hempel, C., & Oppenheim, P. (1948). Studies in the logic of explanation. Philosophy of Science, 15, 135\u2013175.","journal-title":"Philosophy of Science"},{"key":"1450_CR16","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1086\/663235","volume":"79","author":"K Khalifa","year":"2012","unstructured":"Khalifa, K. (2012). Inaugurating understanding or repackaging explanation? Philosophy of Science, 79, 15\u201337.","journal-title":"Philosophy of Science"},{"key":"1450_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.2307\/2214688","volume":"12","author":"P Kitcher","year":"1978","unstructured":"Kitcher, P. (1978). The plight of the platonist. No\u00fbs, 12, 119\u2013136.","journal-title":"No\u00fbs"},{"key":"1450_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1111\/j.1467-9213.2008.560.x","volume":"59","author":"C Klein","year":"2009","unstructured":"Klein, C. (2009). Reduction without reductionism: A defence of Nagel on connectability. Philosophical Quarterly, 59, 39\u201353.","journal-title":"Philosophical Quarterly"},{"key":"1450_CR19","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1080\/07468342.1989.11973245","volume":"20","author":"I Kleiner","year":"1989","unstructured":"Kleiner, I. (1989). Evolution of the function concept: A brief survey. The College Mathematics Journal, 20, 282\u2013300.","journal-title":"The College Mathematics Journal"},{"key":"1450_CR20","doi-asserted-by":"crossref","unstructured":"Ladyman, J., & Presnell, S. (2016). Does homotopy type theory provide a foundation for mathematics? British Journal for Philosophy of Science, 0, 1\u201344.","DOI":"10.1093\/bjps\/axw006"},{"key":"1450_CR21","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1093\/analys\/anp002","volume":"69","author":"M Lange","year":"2009","unstructured":"Lange, M. (2009). Why proofs by mathematical induction are generally not explanatory. Analysis, 69, 203\u2013211.","journal-title":"Analysis"},{"key":"1450_CR22","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1093\/mind\/fzq013","volume":"119","author":"M Lange","year":"2010","unstructured":"Lange, M. (2010). What are mathematical coincidences (and why does it matter)? Mind, 119, 307\u2013340.","journal-title":"Mind"},{"key":"1450_CR23","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1215\/00318108-2749730","volume":"123","author":"M Lange","year":"2014","unstructured":"Lange, M. (2014). Aspects of mathematical explanation: Symmetry, unity, and salience. Philosophical Review, 123, 485\u2013531.","journal-title":"Philosophical Review"},{"key":"1450_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/philmat\/nkr024","volume":"19","author":"\u00d8 Linnebo","year":"2011","unstructured":"Linnebo, \u00d8., & Pettigrew, R. (2011). Category theory as an autonomous foundation. Philosophia Mathematica, 19, 227\u2013254.","journal-title":"Philosophia Mathematica"},{"key":"1450_CR25","volume-title":"Meaning in Mathematics","author":"P Lipton","year":"2011","unstructured":"Lipton, P. (2011). Mathematical understanding. In J. Polkinghorne (Ed.), Meaning in Mathematics. New York: Oxford University Press."},{"key":"1450_CR26","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1016\/j.tics.2006.08.004","volume":"10","author":"T Lombrozo","year":"2006","unstructured":"Lombrozo, T. (2006). The structure and function of explanations. Trends in Cognitive Sciences, 10, 464\u2013470.","journal-title":"Trends in Cognitive Sciences"},{"key":"1450_CR27","volume-title":"The Oxford Handbook of Thinking and Reasoning","author":"T Lombrozo","year":"2012","unstructured":"Lombrozo, T. (2012). Explanation and abductive inference. In K. J. Holyoak & R. G. Morrison (Eds.), The Oxford Handbook of Thinking and Reasoning. New York: Oxford University Press."},{"key":"1450_CR28","doi-asserted-by":"publisher","first-page":"495","DOI":"10.2307\/2214849","volume":"15","author":"P Maddy","year":"1981","unstructured":"Maddy, P. (1981). Sets and numbers. No\u00fbs, 15, 495\u2013511.","journal-title":"No\u00fbs"},{"key":"1450_CR29","volume-title":"Realism in Mathematics","author":"P Maddy","year":"1990","unstructured":"Maddy, P. (1990). Realism in Mathematics. New York: Oxford University Press."},{"key":"1450_CR30","volume-title":"Foundational Theories of Classical and Constructive Mathematics","author":"P Maddy","year":"2011","unstructured":"Maddy, P. (2011). Set theory as a foundation. In G. Sommaruga (Ed.), Foundational Theories of Classical and Constructive Mathematics. Dordrecht: Springer."},{"key":"1450_CR31","volume-title":"Contemporary Mathematics. Foundations of Mathematics","author":"P Maddy","year":"2017","unstructured":"Maddy, P. (2017). Set-theoretic foundations. In A. E. Caicedo, J. Cummings, P. Koellner, & P. B. Larson (Eds.), Contemporary Mathematics. Foundations of Mathematics (Vol. 690). Providence, RI: American Mathematical Society."},{"key":"1450_CR32","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1010621314372","volume":"20","author":"P Mancosu","year":"2001","unstructured":"Mancosu, P. (2001). Mathematical explanation: Problems and prospects. Topoi, 20, 97\u2013117.","journal-title":"Topoi"},{"key":"1450_CR33","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1093\/philmat\/2.1.16","volume":"3","author":"J Mayberry","year":"1994","unstructured":"Mayberry, J. (1994). What is required of a foundation for mathematics? Philosophia Mathematica, 3, 16\u201335.","journal-title":"Philosophia Mathematica"},{"key":"1450_CR34","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1080\/00029890.1998.12004943","volume":"105","author":"FA Medvedev","year":"1998","unstructured":"Medvedev, F. A. (1998). Nonstandard analysis and the history of classical analysis (A. Shenitzer, Trans.). American Mathematical Monthly, 105, 659\u2013664.","journal-title":"American Mathematical Monthly"},{"key":"1450_CR35","volume-title":"Notes on Set Theory","author":"Y Moschovakis","year":"2006","unstructured":"Moschovakis, Y. (2006). Notes on Set Theory (2nd ed.). New York: Springer.","edition":"2"},{"key":"1450_CR36","doi-asserted-by":"publisher","DOI":"10.1119\/1.1937571","volume-title":"The Structure of Science","author":"E Nagel","year":"1961","unstructured":"Nagel, E. (1961). The Structure of Science. London: Routledge and Kegan Paul."},{"key":"1450_CR37","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1005692729370","volume":"53","author":"K-G Niebergall","year":"2000","unstructured":"Niebergall, K.-G. (2000). On the logic of reducibility: Axioms and examples. Erkenntnis, 53, 27\u201361.","journal-title":"Erkenntnis"},{"key":"1450_CR38","doi-asserted-by":"crossref","unstructured":"Perrin, D. (2008). Algebraic Geometry: An Introduction (C. Maclean, Trans.). London: Springer.","DOI":"10.1007\/978-1-84800-056-8"},{"issue":"3","key":"1450_CR39","first-page":"1","volume":"15","author":"C Pincock","year":"2015","unstructured":"Pincock, C. (2015). The unsolvability of the quintic: A case study in abstract mathematical explanation. Philosophers\u2019 Imprint, 15(3), 1\u201319.","journal-title":"Philosophers\u2019 Imprint"},{"key":"1450_CR40","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199269730.001.0001","volume-title":"Set Theory and its Philosophy: A Critical Introduction","author":"MD Potter","year":"2004","unstructured":"Potter, M. D. (2004). Set Theory and its Philosophy: A Critical Introduction. New York: Oxford University Press."},{"key":"1450_CR41","volume-title":"Word and Object","author":"WVO Quine","year":"1960","unstructured":"Quine, W. V. O. (1960). Word and Object. Cambridge, MA: MIT Press."},{"key":"1450_CR42","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1515\/9783110870299.47","volume-title":"The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations","author":"V Rantala","year":"1992","unstructured":"Rantala, V. (1992). Reduction and explanation: Science vs. mathematics. In J. Echeverria, A. Ibarra, & T. Mormann (Eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations (pp. 47\u201359). New York: Walter de Gruyter."},{"key":"1450_CR43","unstructured":"Reck, E. (2016). Dedekind\u2019s Contributions to the Foundations of Mathematics. In E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2016 Edition). https:\/\/plato.stanford.edu\/archives\/win2016\/entries\/dedekind-foundations\/ ."},{"key":"1450_CR44","volume-title":"Non-standard Analysis","author":"A Robinson","year":"1974","unstructured":"Robinson, A. (1974). Non-standard Analysis. Princeton: Princeton University Press."},{"key":"1450_CR45","volume-title":"Vorlesungen \u00fcber die Algebra der Logik","author":"E Schr\u00f6der","year":"1895","unstructured":"Schr\u00f6der, E. (1895). Vorlesungen \u00fcber die Algebra der Logik (Vol. 3). Leipzig: Teubner."},{"key":"1450_CR46","doi-asserted-by":"publisher","first-page":"183","DOI":"10.5840\/wcp202000638","volume":"6","author":"S Shapiro","year":"2000","unstructured":"Shapiro, S. (2000). Set-theoretic foundations. The Proceedings of the Twentieth World Congress of Philosophy, 6, 183\u2013196.","journal-title":"The Proceedings of the Twentieth World Congress of Philosophy"},{"key":"1450_CR47","volume-title":"Understanding in Mathematics","author":"A Sierpinska","year":"1994","unstructured":"Sierpinska, A. (1994). Understanding in Mathematics. Washington, D.C.: Falmer Press."},{"key":"1450_CR48","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF00354494","volume":"34","author":"M Steiner","year":"1978","unstructured":"Steiner, M. (1978). Mathematical explanation. Philosophical Studies, 34, 135\u2013151.","journal-title":"Philosophical Studies"},{"key":"1450_CR49","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1023\/A:1021266519848","volume":"133","author":"E Steinhart","year":"2002","unstructured":"Steinhart, E. (2002). Why numbers are sets. Synthese, 133, 343\u2013361.","journal-title":"Synthese"},{"key":"1450_CR50","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1016\/j.shpsa.2012.12.005","volume":"44","author":"M Strevens","year":"2013","unstructured":"Strevens, M. (2013). No understanding without explanation. Studies in History and Philosophy of Science, 44, 510\u2013515.","journal-title":"Studies in History and Philosophy of Science"},{"key":"1450_CR51","unstructured":"Tao, T. (2015). Polymath proposal: Explaining identities for irreducible polynomials. The Polymath Blog. Retrieved from http:\/\/polymathprojects.org\/2015\/12\/28\/polymath-proposal-explaining-identities-for-irreducible-polynomials\/ ."},{"key":"1450_CR52","volume-title":"Visualization, Explanation and Reasoning Styles in Mathematics","author":"J Tappenden","year":"2005","unstructured":"Tappenden, J. (2005). Proof style and understanding in mathematics I: Visualization, unification and axiom choice. In P. Mancosu, K. J\u00f8rgensen, & S. Pedersen (Eds.), Visualization, Explanation and Reasoning Styles in Mathematics. Berlin: Springer."},{"key":"1450_CR53","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1305\/ndjfl\/1093633905","volume":"34","author":"RG Taylor","year":"1998","unstructured":"Taylor, R. G. (1998). Zermelo, reductionism, and the philosophy of mathematics. Notre Dame Journal of Formal Logic, 34, 539\u2013563.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1450_CR54","unstructured":"Vakil, R. (2015). The Rising Sea: Foundations of Algebraic Geometry. Retrieved from http:\/\/math.stanford.edu\/~vakil\/216blog\/FOAGoct2415public.pdf ."},{"key":"1450_CR55","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1086\/660300","volume":"78","author":"R Riel van","year":"2011","unstructured":"van Riel, R. (2011). Nagelian reduction beyond the Nagel model. Philosophy of Science, 78, 353\u2013375.","journal-title":"Philosophy of Science"},{"key":"1450_CR56","volume-title":"Modern Algebra","author":"S Warner","year":"1990","unstructured":"Warner, S. (1990). Modern Algebra. Mineola, NY: Dover."},{"key":"1450_CR57","first-page":"299","volume":"179\u2013180","author":"E Weber","year":"2002","unstructured":"Weber, E., & Verhoeven, L. (2002). Explanatory proofs in mathematics. Logique & Analyse, 179\u2013180, 299\u2013307.","journal-title":"Logique & Analyse"},{"key":"1450_CR58","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BF00660892","volume":"27","author":"NP White","year":"1974","unstructured":"White, N. P. (1974). What numbers are. Synthese, 27, 111\u2013124.","journal-title":"Synthese"},{"key":"1450_CR59","first-page":"387","volume":"17","author":"N Wiener","year":"1914","unstructured":"Wiener, N. (1914). A simplification of the logic of relations. Proceedings of the Cambridge Philosophical Society, 17, 387\u2013390.","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"1450_CR60","volume-title":"Not Even Wrong: The Failure of String Theory And the Search for Unity in Physical Law","author":"P Woit","year":"2006","unstructured":"Woit, P. (2006). Not Even Wrong: The Failure of String Theory And the Search for Unity in Physical Law. New York: Basic Books."},{"key":"1450_CR61","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BF02403215","volume":"32","author":"E Zermelo","year":"1909","unstructured":"Zermelo, E. (1909). Sur les ensembles finis et le principe de l\u2019induction compl\u00e8te. Acta Mathematica, 32, 185\u2013193.","journal-title":"Acta Mathematica"},{"key":"1450_CR62","first-page":"8","volume-title":"Atti del IV Congresso Internazionale dei Matematici","author":"E Zermelo","year":"1909","unstructured":"Zermelo, E. (1909). \u00dcber die Grundlagen der Arithmetik. In G. Castelnuovo (Ed.), Atti del IV Congresso Internazionale dei Matematici (Vol. 2, pp. 8\u201311). Rome: Academia dei Lincei."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-017-1450-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1450-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-017-1450-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T19:25:22Z","timestamp":1692818722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-017-1450-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,26]]},"references-count":62,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["1450"],"URL":"https:\/\/doi.org\/10.1007\/s11229-017-1450-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2017,5,26]]}}}