{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:05:32Z","timestamp":1775037932809,"version":"3.50.1"},"reference-count":6,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1715680","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T18:31:09Z","timestamp":1336588269000},"source":"Crossref","is-referenced-by-count":3,"title":["A Note on Induction, Abstraction, and Dedekind-Finiteness"],"prefix":"10.1215","volume":"53","author":[{"given":"G. Aldo","family":"Antonelli","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Antonelli, G. A., \"The nature and purpose of numbers\", <i>The Journal of Philosophy<\/i>, vol. 107 (2010), pp. 191\u2013212.","DOI":"10.5840\/jphil2010107415"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Antonelli, G. A., \"Notions of invariance for abstraction principles\", <i>Philosophia Mathematica. Series III<\/i>, vol. 18 (2010), pp. 276\u201392.","DOI":"10.1093\/philmat\/nkq010"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Antonelli, G. A., \"Numerical abstraction via the Frege quantifier\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 51 (2010), pp. 161\u201379.","DOI":"10.1215\/00294527-2010-010"},{"key":"4","unstructured":"Boolos, G., \"For every ${A}$ there is a ${B}$\", <i>Linguistic Inquiry<\/i>, vol. 12 (1981), pp. 465\u201366."},{"key":"5","unstructured":"Floyd, R. W., and R. Beigel, <i>The Language of Machines. An Introduction to Computability and Formal Languages<\/i>, Computer Science Press, New York, 1994."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Linnebo, \u00d8., \"Predicative fragments of Frege arithmetic\", <i>Bulletin of Symbolic Logic<\/i>, vol. 10 (2004), pp. 153\u201374.","DOI":"10.2178\/bsl\/1082986260"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1715680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:50Z","timestamp":1706648270000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-2\/A-Note-on-Induction-Abstraction-and-Dedekind-Finiteness\/10.1215\/00294527-1715680.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":6,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1715680","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}