{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:03:57Z","timestamp":1725879837763},"publisher-location":"Cham","reference-count":5,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319418414"},{"type":"electronic","value":"9783319418421"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41842-1_15","type":"book-chapter","created":{"date-parts":[[2017,2,1]],"date-time":"2017-02-01T17:01:15Z","timestamp":1485968475000},"page":"357-362","source":"Crossref","is-referenced-by-count":0,"title":["Concluding Comments by Martin"],"prefix":"10.1007","author":[{"given":"Martin","family":"Davis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,31]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10992-005-0557-4","volume":"34","author":"J Friedman","year":"2005","unstructured":"Friedman, J. (2005). Modal platonism: An easy way to avoid ontological commitment to abstract entities. Journal of Philosophical Logic, 34, 227\u2013273.","journal-title":"Journal of Philosophical Logic"},{"key":"15_CR2","unstructured":"Hellman, G. (1989). Mathematics without numbers: Toward a modal-structural interpretation. Oxford."},{"key":"15_CR3","unstructured":"Poincar\u00e9, H. (2012). Science and method, translated from French by Francis Maitland, Thomas Nelson and Sons, London 1914. Facsimile Reprint: Forgotten Books. http:\/\/www.forgottenbooks.org ."},{"key":"15_CR4","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1090\/S0002-9904-1944-08178-0","volume":"50","author":"H Weyl","year":"1950","unstructured":"Weyl, H. (1950). David Hilbert and his mathematical work. Bulletin of the American Mathematical Society, 50, 612\u2013654.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"15_CR5","unstructured":"Zermelo, E. (1996). \u00dcber Grenzzahlen und Mengenbereiche: neue Untersuchungen \u00fcber die Grundlagen der Mengenlehre, Fundamenta Mathematicae, vol.\u00a016, pp.\u00a029\u201347. English Translation: On Boundary numbers and domains of sets: New investigations in the foundations of set theory. In W. B. Ewald (Ed.), From Kant to Hilbert: A source book in the foundations of mathematics (pp.\u00a01219\u20131233). Oxford University Press."}],"container-title":["Outstanding Contributions to Logic","Martin Davis on Computability, Computational Logic, and Mathematical Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41842-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T09:31:46Z","timestamp":1498383106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41842-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319418414","9783319418421"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41842-1_15","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2016]]}}}