{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:05:33Z","timestamp":1775037933721,"version":"3.50.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2010,10,9]],"date-time":"2010-10-09T00:00:00Z","timestamp":1286582400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10992-010-9158-y","type":"journal-article","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T03:53:29Z","timestamp":1287028409000},"page":"715-735","source":"Crossref","is-referenced-by-count":3,"title":["Ramified Frege Arithmetic"],"prefix":"10.1007","volume":"40","author":[{"suffix":"Jr.","given":"Richard G.","family":"Heck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,9]]},"reference":[{"key":"9158_CR1","first-page":"291","volume-title":"Logic, logic, and logic","author":"G Boolos","year":"1998","unstructured":"Boolos, G. (1998). Frege\u2019s theorem and the Peano postulates. In Jeffrey, R. (Ed.), Logic, logic, and logic (pp. 291\u2013300). Cambridge: Harvard University Press."},{"key":"9158_CR2","first-page":"275","volume-title":"Logic, logic, and logic","author":"G Boolos","year":"1998","unstructured":"Boolos, G. (1998). On the proof of Frege\u2019s theorem. In Jeffrey, R. (Ed.), Logic, logic, and logic (pp. 275\u2013291). Cambridge: Harvard University Press."},{"key":"9158_CR3","first-page":"155","volume-title":"Logic, logic, and logic","author":"G Boolos","year":"1998","unstructured":"Boolos, G. (1998). Reading the Begriffsschrift. In Jeffrey, R. (Ed.), Logic, logic, and logic (pp. 155\u2013170). Cambridge: Harvard University Press."},{"key":"9158_CR4","first-page":"315","volume-title":"Logic, logic, and logic","author":"G Boolos","year":"1998","unstructured":"Boolos, G., & Heck, R. G. (1998). Die Grundlagen der Arithmetik \u00a7\u00a782\u201383. In Jeffrey, R. (Ed.), Logic, logic, and logic (pp. 315\u2013338). Cambridge: Harvard University Press."},{"key":"9158_CR5","doi-asserted-by":"crossref","DOI":"10.1515\/9780691187068","volume-title":"Fixing Frege","author":"JP Burgess","year":"2005","unstructured":"Burgess, J. P. (2005). Fixing Frege. Princeton: Princeton University Press."},{"key":"9158_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039293068","volume":"39","author":"JP Burgess","year":"1998","unstructured":"Burgess, J. P., & Hazen, A. (1998). Arithmetic and predicative logic. Notre Dame Journal of Formal Logic, 39, 1\u201317.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9158_CR7","volume-title":"Essays on the theory of numbers","author":"R Dedekind","year":"1963","unstructured":"Dedekind, R. (1963). The nature and meaning of numbers. In Essays on the theory of numbers. New York: Dover. Tr by W. W. Beman."},{"key":"9158_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11229-004-6204-8","volume":"147","author":"F Ferreira","year":"2005","unstructured":"Ferreira, F. (2005). Amending Frege\u2019s Grundgesetze der Arithmetik. Synthese, 147, 3\u201319.","journal-title":"Synthese"},{"key":"9158_CR9","volume-title":"Grundgesetze der arithmetik","author":"G Frege","year":"1966","unstructured":"Frege, G. (1966). Grundgesetze der arithmetik. Hildeshiem: Georg Olms Verlagsbuchhandlung."},{"key":"9158_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of first-order arithmetic","author":"P Haj\u00e9k","year":"1993","unstructured":"Haj\u00e9k, P., & Pudl\u00e1k, P. (1993). Metamathematics of first-order arithmetic. New York: Springer-Verlag."},{"key":"9158_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/0198236395.001.0001","volume-title":"The reason\u2019s proper study","author":"B Hale","year":"2001","unstructured":"Hale, B., & Wright, C. (2001). The reason\u2019s proper study. Oxford: Clarendon."},{"key":"9158_CR12","doi-asserted-by":"publisher","first-page":"579","DOI":"10.2307\/2275220","volume":"58","author":"RG Heck","year":"1993","unstructured":"Heck, R. G. (1993). The development of arithmetic in Frege\u2019s Grundgesetze der Arithmetik. Journal of Symbolic Logic, 58, 579\u2013601.","journal-title":"Journal of Symbolic Logic"},{"key":"9158_CR13","first-page":"295","volume-title":"Frege\u2019s philosophy of mathematics","author":"RG Heck","year":"1995","unstructured":"Heck, R. G. (1995). Definition by induction in Frege\u2019s Grundgesetze der Arithmetik. In Demopoulos, W. (Ed.), Frege\u2019s philosophy of mathematics (pp. 295\u2013333). Cambridge: Harvard University Press."},{"key":"9158_CR14","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1023\/A:1004299720847","volume":"26","author":"RG Heck","year":"1997","unstructured":"Heck, R. G. (1997). Finitude and Hume\u2019s principle. Journal of Philosophical Logic, 26, 589\u2013617.","journal-title":"Journal of Philosophical Logic"},{"key":"9158_CR15","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1093\/oso\/9780198239208.003.0011","volume-title":"Language, thought, and logic: Essays in honour of Michael Dummett","author":"RG Heck","year":"1997","unstructured":"Heck, R. G. (1997). The Julius Caesar objection. In R. Heck (Ed.), Language, thought, and logic: Essays in honour of Michael Dummett (pp. 273\u2013308). Oxford: Clarendon Press."},{"key":"9158_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1305\/ndjfl\/1038336841","volume":"41","author":"RG Heck","year":"2000","unstructured":"Heck, R. G. (2000). Counting, cardinality, and equinumerosity. Notre Dame Journal of Formal Logic, 41, 187\u2013209.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9158_CR17","doi-asserted-by":"publisher","first-page":"153","DOI":"10.2178\/bsl\/1082986260","volume":"10","author":"\u00d8 Linnebo","year":"2004","unstructured":"Linnebo, \u00d8. (2004). Predicative fragments of Frege arithmetic. Bulletin of Symbolic Logic, 10, 153\u2013174.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9158_CR18","volume-title":"Frege\u2019s conception of numbers as objects","author":"C Wright","year":"1983","unstructured":"Wright, C. (1983). Frege\u2019s conception of numbers as objects. Aberdeen: Aberdeen University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9158-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-010-9158-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9158-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9158-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,31]],"date-time":"2024-03-31T10:34:08Z","timestamp":1711881248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-010-9158-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,9]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9158"],"URL":"https:\/\/doi.org\/10.1007\/s10992-010-9158-y","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,9]]}}}