{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:06:26Z","timestamp":1759147586019},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,5,31]],"date-time":"2008-05-31T00:00:00Z","timestamp":1212192000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1007\/s00153-008-0080-8","type":"journal-article","created":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T12:20:30Z","timestamp":1212150030000},"page":"91-100","source":"Crossref","is-referenced-by-count":1,"title":["Harrington\u2019s conservation theorem redone"],"prefix":"10.1007","volume":"47","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Gilda","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,5,31]]},"reference":[{"key":"80_CR1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0168-0072(96)00003-6","volume":"82","author":"J. Avigad","year":"1996","unstructured":"Avigad J.: Formalizing forcing arguments in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 82, 165\u2013191 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"80_CR2","doi-asserted-by":"crossref","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation. In: Buss, S.R. (ed.) Handbook of Proof Theory, Studies in Logic and the Foundations of Mathematics, vol. 137, pp. 337\u2013405. North Holland, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"80_CR3","doi-asserted-by":"crossref","unstructured":"Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics, London Mathematical Society Lecture Notes Series, vol. 97. Cambridge University Press, Cambridge (1987)","DOI":"10.1017\/CBO9780511565663"},{"key":"80_CR4","unstructured":"Buss, S.R.: Bounded arithmetic. Ph.D. thesis, Princeton University, Princeton, New Jersey (1985). A revision of this thesis was published by Bibliopolis (Naples) in 1986"},{"key":"80_CR5","doi-asserted-by":"crossref","unstructured":"Buss, S.R.: First-order proof theory of arithmetic. In: Buss, S.R. (ed.) Handbook of Proof Theory, vol. 137, pp. 79\u2013147. Elsevier, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80017-7"},{"key":"80_CR6","doi-asserted-by":"crossref","unstructured":"Buss S.R.: An introduction to proof theory. In: Buss, S.R. (ed.) Handbook of Proof Theory, vol. 137, pp. 1\u201378. Elsevier, Amsterdam (1998)","DOI":"10.1016\/S0049-237X(98)80016-5"},{"key":"80_CR7","unstructured":"Fernandes A.: Strict $${\\Pi^1_1}$$ -reflection in bounded arithmetic. Submitted"},{"issue":"3","key":"80_CR8","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.2307\/2275924","volume":"59","author":"F. Ferreira","year":"1994","unstructured":"Ferreira F.: A feasible theory for analysis. J. Symbolic Logic 59(3), 1001\u20131011 (1994)","journal-title":"J. Symbolic Logic"},{"key":"80_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1305\/ndjfl\/1107220675","volume":"46","author":"F. Ferreira","year":"2005","unstructured":"Ferreira F.: A simple proof of Parson\u2019s theorem. Notre Dame J. Formal Logic 46, 83\u201391 (2005)","journal-title":"Notre Dame J. Formal Logic"},{"key":"80_CR10","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.apal.2004.11.001","volume":"135","author":"F. Ferreira","year":"2005","unstructured":"Ferreira F., Oliva P.: Bounded functional interpretation. Ann. Pure Appl. Logic 135, 73\u2013112 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"80_CR11","unstructured":"Ferreira, G.: Sistemas de An\u00e1lise Fraca para a Integra\u00e7\u00e3o. Ph.D. thesis, Faculdade de Ci\u00eancias da Universidade de Lisboa (2006), in Portuguese"},{"key":"80_CR12","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2307\/2272234","volume":"41","author":"H. Friedman","year":"1976","unstructured":"Friedman H.: Systems of second order arithmetic with restricted induction, I, II (abstracts). J. Symbolic Logic 41, 557\u2013559 (1976)","journal-title":"J. Symbolic Logic"},{"key":"80_CR13","doi-asserted-by":"crossref","unstructured":"Kaye, R.: Models of Peano Arithmetic, Oxford Logic Guides, vol. 15. Clarendon Press, Oxford (1991)","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"80_CR14","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.2307\/2275367","volume":"57","author":"U. Kohlenbach","year":"1992","unstructured":"Kohlenbach U.: Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization. J. Symbolic Logic 57, 1239\u20131273 (1992)","journal-title":"J. Symbolic Logic"},{"key":"80_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01627504","volume":"31","author":"U. Kohlenbach","year":"1992","unstructured":"Kohlenbach U.: Remarks on Herbrand normal forms and Herbrand realizations. Arch. Math. Logic 31, 305\u2013317 (1992)","journal-title":"Arch. Math. Logic"},{"key":"80_CR16","first-page":"459","volume-title":"Intuitionism and Proof Theory","author":"C. Parsons","year":"1970","unstructured":"Parsons, C.: On a number theoretic choice schema and its relation to induction. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and Proof Theory, pp. 459\u2013473. North-Holland, Amsterdam (1970)"},{"key":"80_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0168-0072(85)90030-2","volume":"28","author":"W. Sieg","year":"1985","unstructured":"Sieg W.: Fragments of arithmetic. Ann. Pure Appl. Logic 28, 33\u201371 (1985)","journal-title":"Ann. Pure Appl. Logic"},{"key":"80_CR18","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/BF01621477","volume":"30","author":"W. Sieg","year":"1991","unstructured":"Sieg W.: Herbrand analyses. Arch. Math. Logic 30, 409\u2013441 (1991)","journal-title":"Arch. Math. Logic"},{"key":"80_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic","author":"S.G. Simpson","year":"1999","unstructured":"Simpson S.G.: Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic. Springer, Berlin (1999)"},{"key":"80_CR20","volume-title":"Proof Theory. Studies in Logic and the Foundations of Mathematics","author":"G. Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1987)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0080-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0080-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0080-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,26]],"date-time":"2024-02-26T22:36:24Z","timestamp":1708986984000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0080-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,31]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["80"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0080-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,31]]}}}