{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T11:17:30Z","timestamp":1662463050365},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[1994,10]]},"DOI":"10.1007\/bf01063968","type":"journal-article","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T10:39:36Z","timestamp":1662460776000},"page":"53-64","source":"Crossref","is-referenced-by-count":0,"title":["Quantifying over the reals"],"prefix":"10.1007","volume":"101","author":[{"given":"Philip","family":"Hugly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Sayward","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01063968_CR1","volume-title":"Computability and Logic","author":"G. Boolos","year":"1974","unstructured":"Boolos, G. and R. Jeffrey: 1974,Computability and Logic, Cambridge University Press, London and New York."},{"key":"BF01063968_CR2","volume-title":"Reference and Generality","author":"P. T. Geach","year":"1980","unstructured":"Geach, P. T.: 1980,Reference and Generality, 3rd ed., (1st ed.: 1962), Cornell University Press, Ithaca and London.","edition":"3rd ed."},{"key":"BF01063968_CR3","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1305\/ndjfl\/1093870148","volume":"23","author":"P. Hugly","year":"1982","unstructured":"Hugly, P. and C. Sayward: 1982, \u2018Indenumerability and Substitutional Quantification\u2019,Notre Dame Journal of Formal Logic\n23, 358\u201366.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"BF01063968_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1080\/01445348308837046","volume":"4","author":"P. Hugly","year":"1983","unstructured":"Hugly, P. and C. Sayward: 1983, \u2018Can a Language Have Indenumerably Many Expressions?\u2019,History and Philosophy of Logic\n4, 73\u201382.","journal-title":"History and Philosophy of Logic"},{"key":"BF01063968_CR5","volume-title":"Differential and Integral","author":"P. Lorenzen","year":"1991","unstructured":"Lorenzen, P.: 1991,Differential and Integral, University of Texas Press, Austin and London (translated by John Bacon)."},{"key":"BF01063968_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The Emperor's New Mind","author":"R. Penrose","year":"1989","unstructured":"Penrose, R.: 1989,The Emperor's New Mind, Oxford University Press, New York."},{"key":"BF01063968_CR7","first-page":"323","volume":"27","author":"W. V. O. Quine","year":"1962","unstructured":"Quine, W. V. O.: 1962, \u2018Reply to Marcus\u2019,Synthese\n27, 323\u201330, reprint in I. M. Copi and J. A. Gould (eds.): 1967,Contemporary Readings in Logical Theory, MacMillan, London.","journal-title":"Synthese"},{"key":"BF01063968_CR8","doi-asserted-by":"crossref","DOI":"10.7312\/quin92204","volume-title":"Ontological Relativity and Other Essays","author":"W. V. O. Quine","year":"1969","unstructured":"Quine, W. V. O.: 1969,Ontological Relativity and Other Essays, Columbia University Press, New York."},{"key":"BF01063968_CR9","volume-title":"Philosophy of Logic","author":"W. V. O. Quine","year":"1970","unstructured":"Quine, W. V. O.: 1970,Philosophy of Logic, Prentice-Hall, Englewood Cliffs, New Jersey."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01063968.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF01063968\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01063968.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T10:39:44Z","timestamp":1662460784000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF01063968"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["BF01063968"],"URL":"https:\/\/doi.org\/10.1007\/bf01063968","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}