{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T02:11:04Z","timestamp":1723601464512},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T00:00:00Z","timestamp":1437004800000},"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":[[2016,6]]},"DOI":"10.1007\/s11229-015-0821-2","type":"journal-article","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T12:03:56Z","timestamp":1436961836000},"page":"1925-1947","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Husserl and Hilbert on completeness, still"],"prefix":"10.1007","volume":"193","author":[{"given":"Jairo Jose","family":"da Silva","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"821_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/01445340210146889","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., & Reck, E. H. (2002). Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic. History and Philosophy of Logic, 23, 1\u201330.","journal-title":"History and Philosophy of Logic"},{"key":"821_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."},{"issue":"1","key":"821_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1080\/01445348008837010","volume":"1","author":"J Corcoran","year":"1980","unstructured":"Corcoran, J. (1980). Categoricity. History and Philosophy of Logic, 1(1), 187\u2013207.","journal-title":"History and Philosophy of Logic"},{"key":"821_CR4","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 two notions of completeness, Husserl and Hilbert on completeness and imaginary elements in mathematics. Synthese, 125, 417\u2013438.","journal-title":"Synthese"},{"key":"821_CR5","volume-title":"Symbolic knowledge form Leibniz to Husserl, studies in logic","author":"JJ Silva da","year":"2012","unstructured":"da Silva, J. J. (2012). Away from the facts. Symbolic knowledge in Husserl\u2019s philosophy of mathematics. In A. L. Casanave (Ed.), Symbolic knowledge form Leibniz to Husserl, studies in logic (Vol. 44). London: College Publications."},{"key":"821_CR6","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. I and II). Oxford: Clarendon Press."},{"key":"821_CR7","first-page":"121","volume-title":"Husserl and the sciences","author":"Y Gauthier","year":"2004","unstructured":"Gauthier, Y. (2004). Husserl and the theory of multiplicities mannigfaltikeitslehre. In R. Feist (Ed.), Husserl and the sciences (pp. 121\u2013127). Ottawa: University of Ottawa Press."},{"key":"821_CR8","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11229-006-0008-y","volume":"156","author":"MH Hartimo","year":"2007","unstructured":"Hartimo, M. H. (2007). Towards completeness: Husserl on theories of manifolds 1890\u20131901. Synthese, 156, 281\u2013310.","journal-title":"Synthese"},{"key":"821_CR9","unstructured":"Hilbert, D. (1971). Foundations of geometry (L. Unger, Trans. from the tenth German edition). La Salle, Ill: Open Court."},{"key":"821_CR10","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. (Reprinted from Husserl and Frege. Meaning, objectivity, and mathematics pp. 179\u2013198, by C. O. Hill & G. Rosado Haddock, Chicago, Illinois: Open Court.","DOI":"10.1007\/978-94-015-8478-4_7"},{"key":"821_CR11","volume-title":"The road not taken. On Husserl\u2019s philosophy of logic and mathematics, texts in philosophy","author":"CO Hill","year":"2013","unstructured":"Hill, C. O., & da Silva, J. J. (2013). The road not taken. On Husserl\u2019s philosophy of logic and mathematics, texts in philosophy (Vol. 19). London: College Publications."},{"key":"821_CR12","unstructured":"Husserl, E. (2003 [1887\u20131901]). Philosophy of Arithmetic, Psychological and Logical Investigations with Supplementary texts from 1887\u20131901, D. Willard (Ed.), Kluwer, Dordrecht."},{"key":"821_CR13","unstructured":"Husserl, E. (1970a [1890\u20131901]). Philosophie der Arithmetik, mit erg\u00e4nzenden Texten (1890\u20131901), Hua XII, L. Eley (Ed.), Martinus Nijhoff, Den Haag."},{"key":"821_CR14","doi-asserted-by":"crossref","unstructured":"Husserl, E. (1994 [1905]). Husserl an Brentano, 27. III. 1905, Briefwechsel, Die Brentanoschule I. Dordrecht: Kluwer.","DOI":"10.1007\/978-1-4899-3805-3_6"},{"key":"821_CR15","unstructured":"Husserl, E. (1984 [1906\/1907]). Einleitung in die Logik und Erkentniss-theorie, Vorlesungen 1906\/07, Hua XXIV, U. Melle (Ed.), Martinus Nijhoof, Dordrecht, trans. by Claire Ortiz Hill, Introduction to logic and theory of knowledge. Dordrecht: Springer, 2003."},{"key":"821_CR16","unstructured":"Husserl, E. (1970b [1954, 1936]). The crisis of European sciences and transcendental phenomenology (Vol. Ill). Evanston: Northwestern University Press."},{"key":"821_CR17","doi-asserted-by":"crossref","unstructured":"Husserl, E. (1983 [1886\u20131901]). Studien zur Arithmetik und Geometrie (1886\u20131901), I. Strohmeyer (Ed.), Husserliana (Vol. XXI). The Hague: Martinus Nijhoff.","DOI":"10.1007\/978-94-009-6773-1"},{"key":"821_CR18","unstructured":"Husserl, E. (1994). Edmund Husserl collected works, Vol. V (R. Bernet, Ed., D. Willard, Trans.). Dordrecht: Kluwer."},{"key":"821_CR19","unstructured":"Husserl, E. (1970c [1900-01]). Logical investigations (J. N. Findlay, Trans. from the German Second Edition of Logische Untersuchungen), New York: Routledge."},{"key":"821_CR20","doi-asserted-by":"crossref","unstructured":"Husserl, E. (1969) [1929]. Formal and transcendental logic (D. Cairns, Trans.). The Hague: Martinus Nijhoff.","DOI":"10.1007\/978-94-017-4900-8"},{"key":"821_CR21","doi-asserted-by":"crossref","unstructured":"Mahnke, D. (1977 [1923]). From Hilbert to Husserl: First introduction to phenomenology, especially that of formal mathematics\u2019, trans. D. L. Boyer. Studies in History and Philosophy of Science, 8(1), 71\u201384.","DOI":"10.1016\/0039-3681(77)90020-6"},{"key":"821_CR22","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":"821_CR23","volume-title":"Husserl, founder of phenomenology","author":"D Moran","year":"2005","unstructured":"Moran, D. (2005). Husserl, founder of phenomenology. Cambridge: Polity Press."},{"key":"821_CR24","unstructured":"Okada, M. (2013). \u2019Husserl and Hilbert on completeness and Husserl\u2019s term rewrite-based theory of multiplicity\u2019, invited talk. In 24th international conference on rewriting techniques and applications (RTA\u201913), Eindhoven, June 2013."},{"key":"821_CR25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1010781216799","volume":"17","author":"E Schuhmann","year":"2001","unstructured":"Schuhmann, E., & Schuhmann, K. (2001). Husserls Manuskripte zu seinen G\u00f6ttinger Doppelvortrag von 1901. Husserl Studies, 17, 87\u2013123.","journal-title":"Husserl Studies"},{"key":"821_CR26","volume-title":"Mathematical logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J. R. (1967). Mathematical logic. Reading, MA: Addison-Wesley."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0821-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0821-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0821-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T04:05:54Z","timestamp":1566965154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0821-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,16]]},"references-count":26,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["821"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0821-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,16]]}}}