{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:49:38Z","timestamp":1786981778388,"version":"build-2736575974"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,11,28]],"date-time":"2016-11-28T00:00:00Z","timestamp":1480291200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"The Research Council of Norway","award":["250654"],"award-info":[{"award-number":["250654"]}]},{"DOI":"10.13039\/501100008119","name":"Norges Milj\u00f8- og Biovitenskapelige Universitet","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100008119","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s11229-016-1278-7","type":"journal-article","created":{"date-parts":[[2016,11,28]],"date-time":"2016-11-28T11:27:37Z","timestamp":1480332457000},"page":"1509-1527","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Husserl on completeness, definitely"],"prefix":"10.1007","volume":"195","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7974-1722","authenticated-orcid":false,"given":"Mirja","family":"Hartimo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,11,28]]},"reference":[{"key":"1278_CR1","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/bf02124929","volume":"46","author":"G Cantor","year":"1895","unstructured":"Cantor, G. (1895). Beitr\u00e4ge zur Begr\u00fcndung der transfiniten Mengenlehre (1). Mathematische Annalen, 46, 481\u2013512. doi:\n                        10.1007\/bf02124929\n                        \n                    .","journal-title":"Mathematische Annalen"},{"key":"1278_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-3246-1","volume-title":"Logic and philosophy of mathematics in the early Husserl Synthese library","author":"S Centrone","year":"2010","unstructured":"Centrone, S. (2010). Logic and philosophy of mathematics in the early Husserl Synthese library (Vol. 345). Dordrecht: Springer."},{"key":"1278_CR3","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1023\/A:1005265017902","volume":"125","author":"JJ Silva Da","year":"2000","unstructured":"Da Silva, J. J. (2000). Husserl\u2019s tow notions of completeness, Husserl and Hilbert on completeness and imaginary elements in mathematics. Synthese, 125, 417\u2013438.","journal-title":"Synthese"},{"key":"1278_CR4","doi-asserted-by":"crossref","unstructured":"da Silva, J. J. (2016). Husserl and Hilbert on completeness, still. Synthese, 193, 1925\u20131947.","DOI":"10.1007\/s11229-015-0821-2"},{"key":"1278_CR5","volume-title":"From Kant to Hilbert: A source book in the foundations of mathematics","author":"W Ewald","year":"1996","unstructured":"Ewald, W. (1996). From Kant to Hilbert: A source book in the foundations of mathematics (Vol. II). Oxford: Clarendon Press."},{"key":"1278_CR6","volume-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung","author":"A Gutzmer","year":"1902","unstructured":"Gutzmer, A. (1902). Jahresbericht der Deutschen Mathematiker-Vereinigung. Leipzig: Druck und Verlag von B. G. Teubner."},{"key":"1278_CR7","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11229-006-0008-y","volume":"156","author":"M Hartimo","year":"2007","unstructured":"Hartimo, M. (2007). Towards completeness: Husserl on theories of manifolds 1890\u20131901. Synthese, 156, 281\u2013310.","journal-title":"Synthese"},{"issue":"3","key":"1278_CR8","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1007\/s11229-015-0779-0","volume":"193","author":"M Hartimo","year":"2016","unstructured":"Hartimo, M., & Okada, M. (2016). Syntactic reduction in Husserl\u2019s early phenomenology of arithmetic. Synthese, 193(3), 937\u2013969.","journal-title":"Synthese"},{"key":"1278_CR9","doi-asserted-by":"crossref","unstructured":"Hill, C. O. (1995). Husserl and Hilbert on completeness. In Hintikka (Ed.), From Dedekind to G\u00f6del, synthese library (Vol. 251). Dordrecht: Kluwer.","DOI":"10.1007\/978-94-015-8478-4_7"},{"key":"1278_CR10","volume-title":"The principles of mathematics revisited","author":"J Hintikka","year":"1998","unstructured":"Hintikka, J. (1998). The principles of mathematics revisited. Cambridge, UK: Cambridge University Press. [1996]."},{"key":"1278_CR11","unstructured":"Husserl, E. (1950). Ideen zu einer reinen Ph\u00e4nomenologie und ph\u00e4nomenologischen Philosophie. Erstes Buch. Allgemeine Einf\u00fchrung in die reine Ph\u00e4nomenologie. Husserliana Band III. Herausgegeben von Walter Biemel. Haag: Martinus Nijhoff. English translation: Ideas pertaining to a pure phenomenology and to a phenomenological philosophy. First book. General Introduction to a Pure Phenomenology. The Hague, Boston, Lancaster: Martinus Nijhoff (1983)."},{"key":"1278_CR12","unstructured":"Husserl, E. (1970). Philosophie der Arithmetik. Mit erg\u00e4nzenden Texten (1890\u20131901). Edited by Lothar Eley. Den Haag: Martinus Nijhoff."},{"key":"1278_CR13","unstructured":"Husserl, E. (1974). Formale and transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Husserliana Band 17. Edited by Paul Janssen. Martinus Nijhoff, The Hague, Netherlands 1974. English translation: Formal and Transcendental Logic, transl. by Dorion Cairns. Martinus Nijhoff, The Hague. 1969"},{"key":"1278_CR14","unstructured":"Husserl, E. (1975). Logische Untersuchungen. Erster Band. Prolegomena zur Reinen Logik. Husserliana Band XVIII. Herausgegeben von Elmar Holenstein. Den Haag. Martinus Nijhoff. English translation: Logical Investigations. Prolegomena to pure logic, transl. by J. N. Findlay. London and New York: Routledge [1970], 2001, 1-161."},{"key":"1278_CR15","doi-asserted-by":"crossref","unstructured":"Husserl, E. (1976). Die Krisis der Europ\u00e4ischen Wissenschaften und die Transzendentale Ph\u00e4nomenologie. Eine Einleitung in die ph\u00e4nomenologische Philosophie. Herausgegeben von Walter Biemel. Husserliana Band VI. Den Haag: Martinus Nijhoff. English translation: The Crisis of European Sciences and Transcendental Phenomenology. An Introduction to Phenomenological Philosophy. Translated by David Carr. Evanston: Northwestern University Press, 1970.","DOI":"10.1007\/978-94-010-1335-2"},{"key":"1278_CR16","volume-title":"Briefwechsel. Band I, Die Brentanoschule","author":"E Husserl","year":"1994","unstructured":"Husserl, E. (1994). Briefwechsel. Band I, Die Brentanoschule. Dordrecht, Boston, London: Kluwer: Herausgegeben von Karl Schuhmann."},{"key":"1278_CR17","volume-title":"Logische Untersuchungen. Erg\u00e4nzungsband. Erster Teil. Entw\u00fcrfe zur Umarbeitung der VI. Untersuchung ud zur Vorree f\u00fcr die Neuauflage der Logischen Untersuchungen (Sommer 1913)","author":"E Husserl","year":"2002","unstructured":"Husserl, E. (2002). Logische Untersuchungen. Erg\u00e4nzungsband. Erster Teil. Entw\u00fcrfe zur Umarbeitung der VI. Untersuchung ud zur Vorree f\u00fcr die Neuauflage der Logischen Untersuchungen (Sommer 1913). Herausgegeben von Ullrich Melle. Dordrecht, Boston, London: Kluwer Academic Publishers."},{"key":"1278_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0060-4","volume-title":"Philosophy of arithmetic","author":"E Husserl","year":"2003","unstructured":"Husserl, E. (2003). Philosophy of arithmetic. Transl. by Dallas Willard. Dordrecht: Kluwer."},{"key":"1278_CR19","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1023\/A:1004962922108","volume":"110","author":"U Majer","year":"1997","unstructured":"Majer, U. (1997). Husserl and Hilbert on completeness: A neglected chapter in early twentieth century foundations of mathematics. Synthese, 110, 37\u201356.","journal-title":"Synthese"},{"key":"1278_CR20","unstructured":"Okada, M. (2013). Husserl and Hilbert on Completeness and Husserl\u2019s Term Rewrite-based Theory of Multiplicity. Invited paper, 24th International Conference on Rewriting Techniques and Applications (RTA\u201913) (pp. 4\u201319). Edited by Femke van Raamsdonk. The Netherlands: Eindhoven."},{"key":"1278_CR21","first-page":"82","volume":"17","author":"E Schuhmann","year":"2001","unstructured":"Schuhmann, E., & Schuhmann, K. (2001). Husserls Manuskripte zu seinem G\u00f6ttinger Doppelvortrag von 1901. Husserl Studies, 17, 82\u2013123.","journal-title":"Husserl Studies"},{"key":"1278_CR22","unstructured":"Schuhmann, K. (1977). Husserl-Chronik. Denk- und Lebensweg Edmund Husserls. Den Haag: Martinus Nijhoff."},{"key":"1278_CR23","volume-title":"Philosophy of mathematics: Structure and ontology","author":"S Shapiro","year":"1997","unstructured":"Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. Oxford: Oxford University Press."},{"issue":"5","key":"1278_CR24","first-page":"257","volume":"97","author":"Neil Tennant","year":"2000","unstructured":"Tennant, Neil. (2000). Deductive versus expressive power: A pre-G\u00f6delian predicament. The Journal of Philosophy, 97(5), 257\u2013277.","journal-title":"The Journal of Philosophy"},{"key":"1278_CR25","unstructured":"van Atten, M. (2012). Stefania Centrone, logic and the philosophy of mathematics in the Early Husserl. The New Yearbook for Phenomenology and Phenomenological Philosophy, XII, 370\u2013376."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-016-1278-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1278-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1278-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,8]],"date-time":"2018-03-08T06:26:12Z","timestamp":1520490372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-016-1278-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,28]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["1278"],"URL":"https:\/\/doi.org\/10.1007\/s11229-016-1278-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,28]]}}}