{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T06:51:48Z","timestamp":1648882308786},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"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":[[1990,9]]},"DOI":"10.1007\/bf01621092","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T17:17:28Z","timestamp":1114881448000},"page":"149-169","source":"Crossref","is-referenced-by-count":7,"title":["S 3 i andV 2 i (BD)"],"prefix":"10.1007","volume":"29","author":[{"given":"Gaisi","family":"Takeuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Bounded arithmetic","author":"S. Buss","year":"1986","unstructured":"Buss, S.: Bounded arithmetic. Napoli: Bibliopolis 1986"},{"key":"CR2","unstructured":"Buss, S.: Axiomatizations and conservation results for fragments of bounded arithmetic. (To appear in: Contemporary Mathematics AMS, Proc. of Workshop in Logic and Computation, 1987)"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Nelson, E.: Predicative arithmetic. Princeton University Press, 1986","DOI":"10.1515\/9781400858927"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0168-0072(87)90066-2","volume":"35","author":"A. Wilkie","year":"1987","unstructured":"Wilkie, A., Paris, J.: On the scheme of induction for bounded arithmetic formulas. Ann. Pure Appl. Logic35, 267\u2013302 (1987)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0168-0072(88)90046-2","volume":"39","author":"G. Takeuti","year":"1988","unstructured":"Takeuti, G.: Bounded arithmetic and truth definition. Ann. Pure Appl. Logic39, 75\u2013104 (1988)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR6","unstructured":"Takeuti, G.: Some relations among systems for bounded arithmetic. (To appear in: Petkov, P. (ed), Heyting: Mathematical logic. London, Plenum Press)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01621092.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01621092\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01621092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T18:30:44Z","timestamp":1557253844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01621092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["BF01621092"],"URL":"https:\/\/doi.org\/10.1007\/bf01621092","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}