{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T06:48:59Z","timestamp":1775630939334,"version":"3.50.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf01531024","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:21:39Z","timestamp":1113870099000},"page":"107-125","source":"Crossref","is-referenced-by-count":17,"title":["On induction-free provability"],"prefix":"10.1007","volume":"6","author":[{"given":"Jan","family":"Kraj\u00ed\u010dek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaisi","family":"Takeuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01531024_CR1","volume-title":"Bounded Arithmetic","author":"S. Buss","year":"1986","unstructured":"S. Buss,Bounded Arithmetic (Bibliopolis, Napoli, 1986)."},{"key":"BF01531024_CR2","doi-asserted-by":"crossref","unstructured":"S. Buss, Axiomatization and conservation results for fragments of bounded arithmetic, to appear in:Contemporary Mathematics AMS vol. 106, Proc. Workshop in Logic and Computation (1990) pp. 57\u201384","DOI":"10.1090\/conm\/106\/1057816"},{"key":"BF01531024_CR3","unstructured":"H. Gaifman and C. Dimitracopoulos, Fragments of Peano's arithmetic and the MRDP theorem,Logic et Algorithmic, Monogr. No. 30 de l'Enseignement Math\u00e9matique, Gen\u00e8ve (1982) pp. 187\u2013206."},{"key":"BF01531024_CR4","unstructured":"J. Kraj\u00ed\u010dek, \u03c01-conservativeness in systems of bounded arithmetic, typescript (1988)."},{"key":"BF01531024_CR5","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0168-0072(90)90023-U","volume":"48","author":"J. Kraj\u00ed\u010dek","year":"1990","unstructured":"J. Kraj\u00ed\u010dek, Exponentiation and second order bounded arithmetic, Ann. Pure Appl. Logic 48 (1990) 261\u2013276.","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"BF01531024_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1002\/malq.19900360106","volume":"36","author":"J. Kraj\u00ed\u010dek","year":"1990","unstructured":"J. Kraj\u00ed\u010dek and P. Pudl\u00e1k, Quantified propositional calculi and fragments of bounded arithmetic, Zeit. Math. Logik and Grandlog. 36(1) (1990) 29\u201346.","journal-title":"Zeit. Math. Logik and Grandlog."},{"key":"BF01531024_CR7","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0168-0072(91)90043-L","volume":"52","author":"J. Kraj\u00ed\u010dek","year":"1991","unstructured":"J. Kraj\u00ed\u010dek, P. Pudl\u00e1k and G. Takeuti, Bounded arithmetic and the polynomial hierarchy, Ann. Pure Appl. Logic 52 (1991) 143\u2013153.","journal-title":"Ann. Pure Appl. Logic"},{"key":"BF01531024_CR8","unstructured":"J. Paris and C. Dimitracopoulos, Truth definition for\u0394 0 formulae,Logic et Algorithmic, Monogr. No. 30 de l'Enseignement Math\u00e9matique, Gen\u00e9ve (1982) pp. 317\u2013330."},{"issue":"3","key":"BF01531024_CR9","first-page":"261","volume":"35","author":"J. Paris","year":"1987","unstructured":"J. Paris and A. Wilkie, On the scheme of induction for bounded arithmetic formulas, Ann. Pure Appl. Logic 35(3) (1987) 261\u2013302.","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"BF01531024_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0168-0072(88)90046-2","volume":"39","author":"G. Takeuti","year":"1988","unstructured":"G. Takeuti, Bounded arithmetic and truth definition, Ann. Pure Appl. Logic 39(1) (1988) 75\u2013104.","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531024\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531024.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531024\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:34Z","timestamp":1556890294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":10,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF01531024"],"URL":"https:\/\/doi.org\/10.1007\/bf01531024","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}