{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T23:26:55Z","timestamp":1759879615662},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164869"},{"type":"electronic","value":"9783540398257"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16486-3_91","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:46:27Z","timestamp":1330195587000},"page":"77-103","source":"Crossref","is-referenced-by-count":24,"title":["The polynomial hierarchy and intuitionistic Bounded Arithmetic"],"prefix":"10.1007","author":[{"given":"Samuel R.","family":"Buss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"S.R. Buss, Bounded Arithmetic, Ph.D. dissertation, Princeton University, 1985.","key":"7_CR1"},{"doi-asserted-by":"crossref","unstructured":"S.R. Buss, \"The polynomial hierarchy and fragments of Bounded Arithmetic\", 17th Annual ACM Symp. on Theory of Computing, Providence, R.I., pp. 285\u2013290.","key":"7_CR2","DOI":"10.1145\/22145.22177"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","volume":"10","author":"S.C. Kleene","year":"1945","unstructured":"S.C. Kleene, \"On the interpretation of intuitionistic number theory\", Journal of Symbolic Logic, 10(1945), 109\u2013124.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2268715","volume":"4","author":"J.C.C. McKinsey","year":"1939","unstructured":"J.C.C. McKinsey, \"Proof of the independence of the primitive symbols of Heyting's calculus of propositions\", Journal of Symbolic Logic 4(1939), 155\u2013158.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1090\/S0002-9947-1947-0025420-1","volume":"61","author":"D. Nelson","year":"1947","unstructured":"D. Nelson, \"Recursive functions and intuitionistic number theory\", Transactions of the American Mathematical Society, 61(1947), 307\u2013368.","journal-title":"Transactions of the American Mathematical Society"},{"unstructured":"G. Takeuti, Proof Theory, North-Holland, 1975.","key":"7_CR6"}],"container-title":["Lecture Notes in Computer Science","Structure in Complexity Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16486-3_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:04:19Z","timestamp":1619557459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16486-3_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164869","9783540398257"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-16486-3_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}