{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:31Z","timestamp":1740123091169,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T00:00:00Z","timestamp":1650412800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T00:00:00Z","timestamp":1650412800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Romanian Ministry of Research, Innovation and Digitization, CNCS\/CCCDI \u2013 UEFISCDI","award":["PN-III-P1-1.1-PD-2019-0396"],"award-info":[{"award-number":["PN-III-P1-1.1-PD-2019-0396"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1007\/s11225-022-09990-5","type":"journal-article","created":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T18:03:18Z","timestamp":1650477798000},"page":"1115-1134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Extracting Variable Herbrand Disjunctions"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9391-6338","authenticated-orcid":false,"given":"Andrei","family":"Sipo\u015f","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,20]]},"reference":[{"issue":"6","key":"9990_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2020.102792","volume":"171","author":"B Afshari","year":"2020","unstructured":"Afshari, B., S. Hetzl, and G. E. Leigh, Herbrand\u2019s theorem as higher order recursion, Annals of Pure and Applied Logic 171(6):102792, 2020.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"9","key":"9990_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2020.102843","volume":"171","author":"F Ferreira","year":"2020","unstructured":"Ferreira, F., The FAN principle and weak K\u00f6nig\u2019s lemma in herbrandized second-order arithmetic, Annals of Pure and Applied Logic 171(9):102843, 2020.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3\u20134","key":"9990_CR3","doi-asserted-by":"publisher","first-page":"399","DOI":"10.4171\/PM\/2056","volume":"77","author":"F Ferreira","year":"2020","unstructured":"Ferreira, F., Weak K\u00f6nig\u2019s lemma in herbrandized classical second-order arithmetic, Portugaliae Mathematica 77,(3\u20134):399\u2013408, 2020.","journal-title":"Portugaliae Mathematica"},{"issue":"5\u20136","key":"9990_CR4","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s00153-017-0555-6","volume":"56","author":"F Ferreira","year":"2017","unstructured":"Ferreira, F., and G. Ferreira, A herbrandized functional interpretation of classical first-order logic, Archive for Mathematical Logic 56(5\u20136):523\u2013539, 2017.","journal-title":"Archive for Mathematical Logic"},{"issue":"5","key":"9990_CR5","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s00153-005-0275-1","volume":"44","author":"P Gerhardy","year":"2005","unstructured":"Gerhardy, P., and U. Kohlenbach, Extracting Herbrand disjunctions by functional interpretation, Archive for Mathematical Logic 44(5):633\u2013644, 2005.","journal-title":"Archive for Mathematical Logic"},{"key":"9990_CR6","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K G\u00f6del","year":"1958","unstructured":"G\u00f6del, K., \u00dcber eine bisher noch nicht ben\u00fctze Erweiterung des finiten Standpunktes, Dialectica 12:280\u2013287, 1958.","journal-title":"Dialectica"},{"key":"9990_CR7","first-page":"29","volume":"118","author":"U Kohlenbach","year":"2008","unstructured":"Kohlenbach, U., Herbrand\u2019s theorem and extractive proof theory, SMF \u2013 Gazette des Math\u00e9maticiens 118:29\u201341, 2008.","journal-title":"SMF - Gazette des Math\u00e9maticiens"},{"key":"9990_CR8","unstructured":"Kohlenbach, U., Applied proof theory: Proof interpretations and their use in mathematics. Springer Monographs in Mathematics, Springer, 2008."},{"key":"9990_CR9","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U., Proof-theoretic methods in nonlinear analysis. In: Sirakov, B., Ney de Souza, P., Viana, M., (eds.), Proceedings of the International Congress of Mathematicians 2018, vol. 2, World Scientific, 2019, pp. 61\u201382.","DOI":"10.1142\/9789813272880_0045"},{"key":"9990_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.4171\/JEMS\/190","volume":"12","author":"U Kohlenbach","year":"2010","unstructured":"Kohlenbach, U., and L. Leu\u015ftean, Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, Journal of the European Mathematical Society 12:71\u201392, 2010.","journal-title":"Journal of the European Mathematical Society"},{"key":"9990_CR11","first-page":"241","volume":"16","author":"G Kreisel","year":"1951","unstructured":"Kreisel, G., On the interpretation of non-finitist proofs, part I, The Journal Symbolic Logic 16:241\u2013267, 1951.","journal-title":"The Journal Symbolic Logic"},{"key":"9990_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2307\/2267457","volume":"17","author":"G Kreisel","year":"1952","unstructured":"Kreisel, G., On the interpretation of non-finitist proofs, part II: Interpretation of number theory, applications, The Journal of Symbolic Logic 17:43\u201358, 1952.","journal-title":"The Journal of Symbolic Logic"},{"key":"9990_CR13","doi-asserted-by":"publisher","first-page":"466","DOI":"10.2307\/2272731","volume":"37","author":"C Parsons","year":"1972","unstructured":"Parsons, C., On $$n$$-quantifier induction, The Journal of Symbolic Logic 37:466\u2013482, 1972.","journal-title":"The Journal of Symbolic Logic"},{"key":"9990_CR14","unstructured":"Shoenfield, J., Mathematical Logic, Addison-Wesley Publishing Co., 1967."},{"issue":"2","key":"9990_CR15","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1002\/malq.200610038","volume":"53","author":"T Streicher","year":"2007","unstructured":"Streicher, T., and U. Kohlenbach, Shoenfield is G\u00f6del after Krivine, Mathematical Logic Quarterly 53(2):176\u2013179, 2007.","journal-title":"Mathematical Logic Quarterly"},{"key":"9990_CR16","doi-asserted-by":"crossref","unstructured":"Tait, W. W., Infinitely long terms of transfinite type, in: J.N. Crossley, and M.A.E. Dummett, (eds.), Formal Systems and Recursive Functions, vol. 40 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1965, pp. 176\u2013185.","DOI":"10.1016\/S0049-237X(08)71689-6"},{"key":"9990_CR17","unstructured":"Tao, T., Soft analysis, hard analysis, and the finite convergence principle; essay posted May 23, 2007; appeared in: Tao, T., Structure and Randomness: Pages from Year One of a Mathematical Blog, American Mathematical Society, 2008."},{"key":"9990_CR18","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1017\/S0143385708000011","volume":"28","author":"T Tao","year":"2008","unstructured":"Tao, T., Norm convergence of multiple ergodic averages for commuting transformations, Ergodic Theory and Dynamical Systems 28:657\u2013688, 2008.","journal-title":"Ergodic Theory and Dynamical Systems"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-09990-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-09990-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-09990-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T05:19:24Z","timestamp":1657862364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-09990-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,20]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["9990"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-09990-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,4,20]]},"assertion":[{"value":"25 November 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 February 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 April 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}