{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:07:25Z","timestamp":1739423245867,"version":"3.37.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T00:00:00Z","timestamp":1723593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T00:00:00Z","timestamp":1723593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s00153-024-00939-0","type":"journal-article","created":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T21:02:06Z","timestamp":1723669326000},"page":"205-257","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The provably total functions of basic arithmetic and its extensions"],"prefix":"10.1007","volume":"64","author":[{"given":"Mohammad","family":"Ardeshir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erfan","family":"Khaniki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Shahriari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,14]]},"reference":[{"key":"939_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/jigpal\/jzm013","volume":"16","author":"M Ardeshir","year":"2008","unstructured":"Ardeshir, M., Hesaam, B.: An introduction to basic arithmetic. Logic J. IGPL 16, 1\u201313 (2008)","journal-title":"Logic J. IGPL"},{"key":"939_CR2","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1215\/00294527-2019-0013","volume":"60","author":"M Ardeshir","year":"2019","unstructured":"Ardeshir, M., Khaniki, E., Shahriari, M.: A counter-example to polynomially bounded realizability of Basic Arithmetic. Notre Dame J. Formal Logic 60, 481\u2013489 (2019)","journal-title":"Notre Dame J. Formal Logic"},{"key":"939_CR3","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0168-0072(93)90091-Q","volume":"59","author":"SR Buss","year":"1993","unstructured":"Buss, S.R.: Intuitionistic validity in T-normal Kripke structures. Ann. Pure Appl. Logic 59, 159\u2013173 (1993)","journal-title":"Ann. Pure Appl. Logic"},{"key":"939_CR4","first-page":"1","volume-title":"Handbook of Proof Theory","author":"SR Buss","year":"1998","unstructured":"Buss, S.R.: An Introduction to Proof Theory. In: Buss, S.R. (ed.) Handbook of Proof Theory, pp. 1\u201378. Elsevier, Amsterdam (1998)"},{"key":"939_CR5","unstructured":"Gaifman, H., Dimitracopoulos, C.: Fragments of arithmetic and the MRDP theorem. In: Logic and Algorithmic, Monographie 30 de L\u2019Enseignement Mathematique, pp. 187\u2013206"},{"key":"939_CR6","unstructured":"Ghasemloo, K.: The provably total functions of $${{\\sf I}}\\exists ^{+}$$ (in Persian), MSc. thesis, Department of Mathematical Sciences, Sharif University of Thechnology (2008)"},{"key":"939_CR7","volume-title":"Metamathematics of First-Order Arithmetic","author":"P Hajek","year":"1998","unstructured":"Hajek, P., Pudlak, P.: Metamathematics of First-Order Arithmetic. Springer, Berlin (1998). (2nd printing)"},{"issue":"1","key":"939_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(90)90076-E","volume":"46","author":"R Kaye","year":"1990","unstructured":"Kaye, R.: Diophantine Induction. Ann. Pure Appl. Logic 46(1), 1\u201340 (1990)","journal-title":"Ann. Pure Appl. Logic"},{"key":"939_CR9","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"R Kaye","year":"1991","unstructured":"Kaye, R.: Models of Peano Arithmetic. Oxford University Press, New York (1991)"},{"key":"939_CR10","first-page":"271","volume":"1","author":"W Ruitenburg","year":"1991","unstructured":"Ruitenburg, W.: Constructive logic and the paradoxes. Modern Logic 1, 271\u2013301 (1991)","journal-title":"Modern Logic"},{"key":"939_CR11","series-title":"Utrecht University","first-page":"121","volume-title":"Dirk van Dalen Festschrift, Quaestiones infinitae","author":"W Ruitenburg","year":"1993","unstructured":"Ruitenburg, W.: Basic Logic and Fregean Set Theory. In: Barendregt, H.P., Bezem, M., Klop, J.W. (eds.) Dirk van Dalen Festschrift, Quaestiones infinitae. Utrecht University, vol. 5, pp. 121\u2013142. Department of Philosophy, Utrecht (1993)"},{"key":"939_CR12","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1305\/ndjfl\/1039293019","volume":"39","author":"W Ruitenburg","year":"1998","unstructured":"Ruitenburg, W.: Basic predicate calculus. Notre Dame J. Formal Logic 39, 18\u201346 (1998)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"939_CR13","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1002\/malq.200310032","volume":"49","author":"S Salehi","year":"2003","unstructured":"Salehi, S.: Provably total functions of basic arithmetic. Math. Logic Quart. 49(3), 316\u2013322 (2003)","journal-title":"Math. Logic Quart."},{"key":"939_CR14","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1305\/ndjfl\/1134397659","volume":"46","author":"S Salehi","year":"2005","unstructured":"Salehi, S.: Polynomially bounded recursive realizability. Notre Dame J. Formal Logic 46, 407\u2013417 (2005)","journal-title":"Notre Dame J. Formal Logic"},{"key":"939_CR15","volume-title":"Proof Theory","author":"G Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. Elsevier, New York (1987)","edition":"2"},{"key":"939_CR16","volume-title":"Logic and Structure","author":"D van Dalen","year":"2008","unstructured":"van Dalen, D.: Logic and Structure. Springer, Berlin Heidelberg (2008)"},{"key":"939_CR17","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-1-4020-5587-4_8","volume-title":"Handbook of Spatial Logics","author":"S Vickers","year":"2007","unstructured":"Vickers, S.: Locales and toposes as spaces. In: Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 429\u2013496. Springer, Dordrecht (2007)"},{"key":"939_CR18","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1305\/ndjfl\/1039886521","volume":"37","author":"KF Wehmeier","year":"1996","unstructured":"Wehmeier, K.F.: Classical and intuitionistic models of arithmetic. Notre Dame J. Formal Logic 37, 452\u2013461 (1996)","journal-title":"Notre Dame J. Formal Logic"},{"key":"939_CR19","doi-asserted-by":"crossref","unstructured":"Wehmeier, K.F.: Fragments of HA based on $$\\Sigma _ 1$$-induction. Arch. Math. Logic 37, 37\u201349 (1997)","DOI":"10.1007\/s001530050081"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00939-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00939-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00939-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T05:40:31Z","timestamp":1739338831000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00939-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,14]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["939"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00939-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,8,14]]},"assertion":[{"value":"24 February 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 July 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 August 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}