{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T09:26:16Z","timestamp":1763544376555},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6401,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We characterize the collapse of Buss' bounded arithmetic in terms of the provable collapse of the polynomial time hierarchy. We include also some general model-theoretical investigations on fragments of bounded arithmetic.<\/jats:p>","DOI":"10.2307\/2275794","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:59:03Z","timestamp":1146956343000},"page":"942-966","source":"Crossref","is-referenced-by-count":70,"title":["Notes on polynomially bounded arithmetic"],"prefix":"10.1017","volume":"61","author":[{"given":"Domenico","family":"Zambella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017217_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(83)90038-6"},{"key":"S0022481200017217_ref011","first-page":"115","article-title":"Quantifier-free and one-quantifier systems","volume":"20","author":"Mints","year":"1971","journal-title":"Zapiski Nauchnykh Seminarov"},{"key":"S0022481200017217_ref008","first-page":"278","volume-title":"IEEE","author":"Kadin","year":"1988"},{"key":"S0022481200017217_ref015","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1093\/oso\/9780198536901.003.0016","volume-title":"Arithmetic, proof theory and computational complexity","author":"Takeuti","year":"1993"},{"key":"S0022481200017217_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(90)90023-U"},{"key":"S0022481200017217_ref002","first-page":"346","volume-title":"IEEE","author":"Ajtai","year":"1988"},{"key":"S0022481200017217_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90043-L"},{"key":"S0022481200017217_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-22156-3"},{"key":"S0022481200017217_ref013","first-page":"459","volume-title":"Intuitionism and proof theory","author":"Parsons","year":"1970"},{"key":"S0022481200017217_ref016","first-page":"1","volume-title":"Model\u00e8s standard de l'arithm\u00e9tique et theorie des ensembles","author":"Wilkie","year":"1983"},{"key":"S0022481200017217_ref003","volume-title":"Bounded arithmetic","author":"Buss","year":"1986"},{"key":"S0022481200017217_ref004","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/106\/1057816"},{"key":"S0022481200017217_ref005","unstructured":"Buss S. R. , Relating the bounded arithmetic and polynomial time hierarchies, to appear."},{"key":"S0022481200017217_ref006","first-page":"125","volume-title":"Structure in complexity theory","volume":"221","author":"Cobham","year":"1986"},{"key":"S0022481200017217_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)72003-2"},{"key":"S0022481200017217_ref014","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/oso\/9780198536901.003.0012","volume-title":"Arithmetic, proof theory and computational complexity","author":"Razborov","year":"1993"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:28:39Z","timestamp":1707031719000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017217\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["S0022481200017217"],"URL":"https:\/\/doi.org\/10.2307\/2275794","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}