{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T01:56:30Z","timestamp":1777686990054,"version":"3.51.4"},"reference-count":7,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,4,1]]},"DOI":"10.1215\/00294527-2009-003","type":"journal-article","created":{"date-parts":[[2009,11,11]],"date-time":"2009-11-11T14:11:17Z","timestamp":1257948677000},"source":"Crossref","is-referenced-by-count":6,"title":["On Interpretations of Bounded Arithmetic and Bounded Set Theory"],"prefix":"10.1215","volume":"50","author":[{"given":"Richard","family":"Pettigrew","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"2","unstructured":"[2] Gaifman, H., and C. Dimitracopoulos, \"Fragments of Peano's arithmetic and the MRDP\" theorem, pp. 187--206 in <i>Logic and Algorithmic (Zurich, 1980)<\/i>, vol. 30 of <i>Monograph. Enseign. Math.<\/i>, Univerisit\u00e9 de Gen\u00e8ve, Geneva, 1982."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Kaye, R., and T. L. Wong, \"On interpretations of arithmetic and set theory\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 48 (2007), pp. 497--510.","DOI":"10.1305\/ndjfl\/1193667707"},{"key":"5","unstructured":"[5] Mayberry, J. P., <i>The Foundations of Mathematics in the Theory of Sets<\/i>, vol. 82 of <i>Encyclopedia of Mathematics and its Applications<\/i>, Cambridge University Press, Cambridge, 2000."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Parikh, R., \"Existence and feasibility in arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 36 (1971), pp. 494--508.","DOI":"10.2307\/2269958"},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Ackermann, W., \"Die Widerspruchsfreiheit der allgemeinen Mengenlehre\", <i>Mathematische Annalen<\/i>, vol. 114 (1937), pp. 305--15.","DOI":"10.1007\/BF01594179"},{"key":"3","unstructured":"[3] Homolka, V., <i>A System of Finite Set Theory Equivalent to Elementary Arithmetic<\/i>, Ph.D. thesis, University of Bristol, 1983."},{"key":"6","unstructured":"[6] Mayberry, J. P., and R. Pettigrew, \"Natural number systems in the theory of finite sets\", http:\/\/arxiv.org\/abs\/0711.2922, 2007."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2009-003","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:15Z","timestamp":1706648235000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-2\/On-Interpretations-of-Bounded-Arithmetic-and-Bounded-Set-Theory\/10.1215\/00294527-2009-003.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,1]]},"references-count":7,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2009,4,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2009-003","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,4,1]]}}}