{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:09Z","timestamp":1725664689405},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613770"},{"type":"electronic","value":"9783540685074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61377-3_48","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:49Z","timestamp":1330292149000},"page":"362-367","source":"Crossref","is-referenced-by-count":2,"title":["On sharply bounded length induction"],"prefix":"10.1007","author":[{"given":"Jan","family":"Johannsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","volume-title":"Bounded Arithmetic","author":"S. R. Buss","year":"1986","unstructured":"S. R. Buss. Bounded Arithmetic. Bibliopolis, Napoli, 1986."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"S. R. Buss. A note on bootstrapping intuitionistic bounded arithmetic. In P. Aczel, H. Simmons, and S. S. Wainer, editors, Proof Theory, pages 149\u2013169. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511896262.007"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0168-0072(94)00049-9","volume":"74","author":"S. R. Buss","year":"1995","unstructured":"S. R. Buss and A. Ignjatovi\u0107. Unprovability of consistency statements in fragments of bounded arithmetic. Annals of Pure and Applied Logic, 74:221\u2013244, 1995.","journal-title":"Annals of Pure and Applied Logic"},{"key":"21_CR4","unstructured":"F. Ferreira. Some notes on subword quantification and induction thereof. Typeset Manuscript."},{"key":"21_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic","author":"P. H\u00e1jek","year":"1993","unstructured":"P. H\u00e1jek and P. Pudl\u00e1k. Metamathematics of First-Order Arithmetic. Springer Verlag, Berlin, 1993."},{"key":"21_CR6","first-page":"281","volume-title":"Logic and Computation, volume 106 of Contemporary Mathematics","author":"G. Takeuti","year":"1990","unstructured":"G. Takeuti. Sharply bounded arithmetic and the function a \u2212 1. In Logic and Computation, volume 106 of Contemporary Mathematics, pages 281\u2013288. American Mathematical Society, Providence, 1990."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61377-3_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:05:53Z","timestamp":1605647153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61377-3_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613770","9783540685074"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-61377-3_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}