{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:48:25Z","timestamp":1759146505355},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540639947"},{"type":"electronic","value":"9783662221082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/978-3-662-22108-2_8","type":"book-chapter","created":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T21:03:26Z","timestamp":1370898206000},"page":"104-114","source":"Crossref","is-referenced-by-count":1,"title":["Extensions of Models of PV"],"prefix":"10.1007","author":[{"given":"Jan","family":"Kraj\u00ed\u010dek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Bounded Arithmetic","author":"SR Buss","year":"1986","unstructured":"Buss, S. R. (1986) Bounded Arithmetic. Naples, Bibliopolis."},{"key":"8_CR2","first-page":"67","volume":"75","author":"SR Buss","year":"1995","unstructured":"Buss, S. R. (1995) Relating the bounded arithmetic and polynomial time hierarchies, Annals of Pure and Applied Logic, 75: 67\u201377.","journal-title":"Logic"},{"key":"8_CR3","volume-title":"ACM Press","author":"SA Cook","year":"1975","unstructured":"Cook, S A. (1975) Feasibly constructive proofs and the propositional calculus, in: Proc. 7\n                th\n                Annual ACM Syrup. on Theory of Computing, pp. 83\u201397. ACM Press."},{"key":"8_CR4","unstructured":"Kraj\u00edcek, J. (1995) Bounded arithmetic, propositional logic and complexity theory,Encyclopedia of Mathematics and Its Applications, Vol. 60, Cambridge University Press,Cambridge \u2014 New York - Melbourne, 343 p."},{"key":"8_CR5","unstructured":"Kraj\u00edcek, J. (1995) On Frege and Extended Frege proof systems, in: Feasible Mathemat-\n                ics II, eds. P. Clote and J. Remmel, Birkhauser, pp. 284\u2013319."},{"key":"8_CR6","volume-title":"Pro- ceedings of the Tenth International Congress Logic, Methodology and Philosophy of Science, International Union of History and Philosophy of Science, Florence (August 19-25","author":"J Kraj\u00edcek","year":"1995","unstructured":"Kraj\u00edcek, J. (1995) On methods for proving lower bounds in propositional logic, in: Pro- ceedings of the Tenth International Congress Logic, Methodology and Philosophy of Science, International Union of History and Philosophy of Science, Florence (August 19\u201325, 1995 ), Eds. M. L. Dalla Chiara, K. Doets, D. Mundici, J. van Benthem, to appear."},{"key":"8_CR7","unstructured":"Kraj\u00edcek, J and P. Pudla (1990) Propositional Provability and Models of Weak Arithmetic, in: Computer Science Logic (Kaiserlautern, Oct. \u201989), E. Borger, H. Kleine Buning, M.M. Richter (eds.), LNCS 440, Springer-Verlag, pp. 193\u2013210."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0168-0072(91)90043-L","volume":"52","author":"J Kraj\u00edcek","year":"1991","unstructured":"Kraj\u00edcek, J, Pudl\u00e2k, P, and Takeuti, G. (1991) Bounded arithmetic and the polynomial hierarchy, Annals of Pure and Applied Logic, 52: 143\u2013153.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"942","DOI":"10.2307\/2275794","volume":"61","author":"D Zambella","year":"1996","unstructured":"Zambella, D. (1996) Notes on polynomially bounded arithmetic, J. of Symbolic Logic, 61 (3), pp. 942\u2013966.","journal-title":"J. of Symbolic Logic"}],"container-title":["Lecture Notes in Logic","Logic Colloquium \u201995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-22108-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T21:56:55Z","timestamp":1557784615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-22108-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540639947","9783662221082"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-22108-2_8","relation":{},"ISSN":["1431-5459"],"issn-type":[{"type":"print","value":"1431-5459"}],"subject":[],"published":{"date-parts":[[1998]]}}}