{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:34Z","timestamp":1725664414724},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601784"},{"type":"electronic","value":"9783540447207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60178-3_85","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:48:35Z","timestamp":1330278515000},"page":"195-209","source":"Crossref","is-referenced-by-count":25,"title":["On Herbrand's theorem"],"prefix":"10.1007","author":[{"given":"Samuel R.","family":"Buss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"S. R. Buss, An introduction to proof theory. Typeset manuscript, to appear in Handbook of Proof Theory, 199?","key":"10_CR1"},{"unstructured":"-, Relating the bounded arithmetic and polynomial-time hierarchies. To appear, Annals of Pure and Applied Logic, 199?","key":"10_CR2"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1090\/S0002-9904-1964-11169-1","volume":"70","author":"B. Dreben","year":"1964","unstructured":"B. Dreben and S. Aanderaa, Herbrand analyzing functions, Bulletin of the American Mathematical Society, 70 (1964), pp. 697\u2013698.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1090\/S0002-9904-1963-10990-8","volume":"69","author":"B. Dreben","year":"1963","unstructured":"B. Dreben, P. Andrews, and S. Aanderaa, False lemmas in Herbrand, Bulletin of the American Mathematical Society, 69 (1963), pp. 699\u2013706.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"393","DOI":"10.2307\/2270454","volume":"31","author":"B. Dreben","year":"1966","unstructured":"B. Dreben and J. Denton, A supplement to Herbrand, Journal of Symbolic Logic, 31 (1966), pp. 393\u2013398.","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR6","first-page":"45","volume":"39","author":"W. D. Goldfarb","year":"1990","unstructured":"W. D. Goldfarb, Herbrand's theorem and the incompleteness of arithmetic, Iyyun, A Jerusalem Philosophical Quarterly, 39 (1990), pp. 45\u201364.","journal-title":"Iyyun, A Jerusalem Philosophical Quarterly"},{"key":"10_CR7","first-page":"103","volume":"3","author":"W. D. Goldfarb","year":"1993","unstructured":"-Herbrand's error and G\u00f6del's correction, Modern Logic, 3 (1993), pp. 103\u2013118.","journal-title":"Modern Logic"},{"unstructured":"J. Herbrand, Recherches sur la th\u00e9orie de la d\u00e9monstration, PhD thesis, University of Paris, 1930.","key":"10_CR8"},{"key":"10_CR9","first-page":"525","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1978\u20131931","author":"J. Herbrand","year":"1967","unstructured":"-Investigations in proof theory: The properties of true propositions, in From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1978\u20131931, J. van Heijenoort, ed., Harvard University Press, Cambridge, Massachusetts, 1967, pp. 525\u2013581. Translation of chapter 5 of [8], with commentary and notes, by J. van Heijenoort and B. Dreben."},{"key":"10_CR10","volume-title":"\u00c9crits logique","author":"J. Herbrand","year":"1968","unstructured":"-\u00c9crits logique, Presses Universitaires de France, Paris, 1968. Ed. by J. van Heijenoort."},{"key":"10_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-3072-4","volume-title":"Logical Writings","author":"J. Herbrand","year":"1971","unstructured":"-Logical Writings, D. Reidel, Dordrecht-Holland, 1971. Ed. by W. Goldfarb, Translation of [10]."},{"key":"10_CR12","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, Annals of Pure and Applied Logic, 52 (1991), pp. 143\u2013153.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10_CR13","first-page":"241","volume":"16","author":"G. Kreisel","year":"1951","unstructured":"G. Kreisel, On the interpretation of non-finitist proofs-part I, Journal of Symbolic Logic, 16 (1951), pp. 241\u2013267.","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2307\/2267457","volume":"17","author":"G. Kreisel","year":"1952","unstructured":"-On the interpretation of non-finitist proofs, part II. interpretation of number theory, applications, Journal of Symbolic Logic, 17 (1952), pp. 43\u201358.","journal-title":"Journal of Symbolic Logic"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","author":"M. S. Paterson","year":"1978","unstructured":"M. S. Paterson and M. N. Wegman, Linear unification, J. Comput. System Sci., 16 (1978), pp. 158\u2013167.","journal-title":"J. Comput. System Sci."},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson, A machine-oriented logic based on the resolution principle, J. Assoc. Comput. Mach., 12 (1965), pp. 23\u201341.","journal-title":"J. Assoc. Comput. Mach."},{"key":"10_CR17","volume-title":"Proof Theory","author":"G. Takeuti","year":"1987","unstructured":"G. Takeuti, Proof Theory, North-Holland, Amsterdam, 2nd ed., 1987.","edition":"2nd ed."},{"unstructured":"D. Zambella, Notes on polynomially bounded arithmetic. To appear in J. Symb. Logic.","key":"10_CR18"}],"container-title":["Lecture Notes in Computer Science","Logic and Computational Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60178-3_85.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:46Z","timestamp":1619573566000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60178-3_85"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601784","9783540447207"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60178-3_85","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}