{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:08:15Z","timestamp":1759147695397},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,10,1]],"date-time":"1989-10-01T00:00:00Z","timestamp":623203200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1989,10]]},"DOI":"10.1007\/bf01622877","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T17:11:11Z","timestamp":1114881071000},"page":"173-179","source":"Crossref","is-referenced-by-count":5,"title":["Overspill and fragments of arithmetic"],"prefix":"10.1007","volume":"28","author":[{"given":"C.","family":"Dimitracopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"503","DOI":"10.2307\/2272251","volume":"41","author":"A. Bezboruah","year":"1976","unstructured":"Bezboruah, A., Shepherdson, J.C.: G\u00f6del's second incompleteness theorem forQ. J. Symb. Logic41, 503\u2013512 (1976)","journal-title":"J. Symb. Logic"},{"key":"CR2","unstructured":"H\u00e1jek, P.: Positive results on fragments of arithmetic"},{"key":"CR3","volume-title":"Lect. Notes Math. 454","author":"J. Hirschfeld","year":"1975","unstructured":"Hirschfeld, J., Wheeler, W.: Forcing, arithmetic, division rings (Lect. Notes Math. 454). Berlin, Heidelberg, New York: Springer 1975"},{"key":"CR4","unstructured":"Lessan, H.: Models of arithmetic. Ph.D. thesis, University of Manchester, 1978"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1090\/S0002-9947-1978-0487048-9","volume":"239","author":"K. McAloon","year":"1978","unstructured":"McAloon, K.: Completeness theorems, incompleteness theorems and models of arithmetic. Trans. Am. Math. Soc.239, 253\u2013277 (1978)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0049-237X(08)72003-2","volume-title":"Logic Colloquium '77","author":"J. Paris","year":"1978","unstructured":"Paris, J., Kirby, L.A.S.:\u03b5 n -Collection schemas in arithmetic. Logic Colloquium '77. Amsterdam: North-Holland, pp. 199\u2013209, 1978"},{"key":"CR7","unstructured":"Kaye, R.: Parameter-free universal induction. Z. Math. Logik Grundlagen Math."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"372","DOI":"10.21136\/CPM.1984.118206","volume":"109","author":"J. Paris","year":"1984","unstructured":"Paris, J.: O struktu\u0159e model\u016f omezen\u00e9E 1-indukce. \u010casopis P\u011bstov\u00e1ni Mat.109, 372\u2013379 (1984)","journal-title":"\u010casopis P\u011bstov\u00e1ni Mat."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"72","DOI":"10.2307\/2273790","volume":"50","author":"G. Wilmers","year":"1985","unstructured":"Wilmers, G.: Bounded existential induction. J. Symb. Logic50, 72\u201390 (1985)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01622877.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01622877\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01622877","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T03:53:07Z","timestamp":1683085987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01622877"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,10]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,10]]}},"alternative-id":["BF01622877"],"URL":"https:\/\/doi.org\/10.1007\/bf01622877","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,10]]}}}