{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T06:44:29Z","timestamp":1698648269715},"reference-count":9,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T00:00:00Z","timestamp":1289952000000},"content-version":"vor","delay-in-days":4338,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1999,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We study, within the framework of intuitionistic logic, two well\u2010known general results of (classical logic) bounded arithmetic. Firstly, Parikh's theorem on the existence of bounding terms for the provably total functions. Secondly, the result which states that adding the scheme of bounded collection to (suitable) bounded theories does not yield new II<jats:sub>2<\/jats:sub> consequences.<\/jats:p>","DOI":"10.1002\/malq.19990450310","type":"journal-article","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T16:30:38Z","timestamp":1290011438000},"page":"399-407","source":"Crossref","is-referenced-by-count":1,"title":["Two General Results on Intuitionistic Bounded Theories"],"prefix":"10.1002","volume":"45","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2010,11,17]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Burr W. Fragments of Heyting\u2010arithmetic. Manuscript1998."},{"key":"e_1_2_1_3_2","unstructured":"Buss S. Bounded Arithmetic. PhD thesis Princeton University June 1985. A revision of this thesis was published by Bibliopolis Naples in1986."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1987-0894442-1"},{"key":"e_1_2_1_5_2","first-page":"331","article-title":"A note on a result of Buss concerning bounded theories and the collection scheme","volume":"52","author":"Ferreira F.","year":"1995","journal-title":"Portugaliae Math."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19980440202"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.2307\/2269958"},{"key":"e_1_2_1_8_2","series-title":"Lecture Notes in Mathematics 890","first-page":"251","volume-title":"Model Theory and Arithmetic","author":"Paris J.","year":"1980"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-5203-4_4"},{"key":"e_1_2_1_10_2","volume-title":"Constructive Mathematics: An Introduction","author":"van Dalen D.","year":"1988"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19990450310","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19990450310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,29]],"date-time":"2023-10-29T17:37:45Z","timestamp":1698601065000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19990450310"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1002\/malq.19990450310"],"URL":"https:\/\/doi.org\/10.1002\/malq.19990450310","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}