{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:55:38Z","timestamp":1743051338546,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031643088"},{"type":"electronic","value":"9783031643095"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64309-5_27","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:01:49Z","timestamp":1719871309000},"page":"339-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Weakness of\u00a0Finding Descending Sequences in\u00a0Ill-Founded Linear Orders"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0487-7358","authenticated-orcid":false,"given":"Jun Le","family":"Goh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0173-3295","authenticated-orcid":false,"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0351-3058","authenticated-orcid":false,"given":"Manlio","family":"Valenti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"issue":"6","key":"27_CR1","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1016\/j.apal.2011.10.006","volume":"163","author":"V Brattka","year":"2012","unstructured":"Brattka, V., Gherardi, G., Marcone, A.: The Bolzano-Weierstrass theorem is the jump of weak K\u00f6nig\u2019s Lemma. Ann. Pure Appl. Logic 163(6), 623\u2013655 (2012). https:\/\/doi.org\/10.1016\/j.apal.2011.10.006","journal-title":"Ann. Pure Appl. Logic"},{"key":"27_CR2","series-title":"Theory and Applications of Computability","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-030-59234-9_11","volume-title":"Handbook of Computability and Complexity in Analysis","author":"V Brattka","year":"2021","unstructured":"Brattka, V., Gherardi, G., Pauly, A.: Weihrauch complexity in computable analysis. In: Handbook of Computability and Complexity in Analysis. TAC, pp. 367\u2013417. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-59234-9_11"},{"issue":"1","key":"27_CR3","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2178\/jsl\/1231082309","volume":"74","author":"J Chubb","year":"2009","unstructured":"Chubb, J., Hirst, J.L., McNicholl, T.H.: Reverse mathematics, computability, and partitions of trees. J. Symbolic Logic 74(1), 201\u2013215 (2009)","journal-title":"J. Symbolic Logic"},{"key":"27_CR4","doi-asserted-by":"publisher","unstructured":"Cipriani, V., Pauly, A.: Embeddability of graphs and Weihrauch degrees (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.00935","DOI":"10.48550\/arXiv.2305.00935"},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.3233\/com-180203","volume":"9","author":"DD Dzhafarov","year":"2020","unstructured":"Dzhafarov, D.D., Goh, J.L., Hirschfeldt, D.R., Patey, L., Pauly, A.: Ramsey\u2019s theorem and products in the Weihrauch degrees. Computability 9(2), 85\u2013110 (2020). https:\/\/doi.org\/10.3233\/com-180203","journal-title":"Computability"},{"key":"27_CR6","doi-asserted-by":"publisher","unstructured":"Dzhafarov, D.D., Solomon, R., Yokoyama, K.: On the first-order parts of problems in the Weihrauch degrees. Computability (to appear). https:\/\/doi.org\/10.48550\/arXiv.2301.12733","DOI":"10.48550\/arXiv.2301.12733"},{"key":"27_CR7","doi-asserted-by":"publisher","unstructured":"Freund, A., Pakhomov, F., Sold\u00e0, G.: The logical strength of minimal bad arrays (2023). https:\/\/doi.org\/10.48550\/arXiv.2304.00278","DOI":"10.48550\/arXiv.2304.00278"},{"issue":"2","key":"27_CR8","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1017\/jsl.2021.15","volume":"86","author":"JL Goh","year":"2021","unstructured":"Goh, J.L., Pauly, A., Valenti, M.: Finding descending sequences through ill-founded linear orders. J. Symbolic Logic 86(2), 817\u2013854 (2021). https:\/\/doi.org\/10.1017\/jsl.2021.15","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"27_CR9","doi-asserted-by":"publisher","first-page":"1006","DOI":"10.1017\/jsl.2020.12","volume":"85","author":"T Kihara","year":"2020","unstructured":"Kihara, T., Marcone, A., Pauly, A.: Searching for an analogue of $$\\rm ATR_0$$ in the Weihrauch lattice. J. Symbolic Logic 85(3), 1006\u20131043 (2020). https:\/\/doi.org\/10.1017\/jsl.2020.12","journal-title":"J. Symbolic Logic"},{"key":"27_CR10","doi-asserted-by":"publisher","unstructured":"Marcone, A.: WQO and BQO Theory in Subsystems of Second Order Arithmetic, pp. 303\u2013330. Lecture Notes in Logic, Cambridge University Press (2005). https:\/\/doi.org\/10.1017\/9781316755846.020","DOI":"10.1017\/9781316755846.020"},{"key":"27_CR11","doi-asserted-by":"publisher","unstructured":"Pauly, A., Pradic, C., Sold\u00e0, G.: On the Weihrauch degree of the additive Ramsey theorem. Computability (to appear). https:\/\/doi.org\/10.48550\/arXiv.2301.02833","DOI":"10.48550\/arXiv.2301.02833"},{"key":"27_CR12","doi-asserted-by":"publisher","unstructured":"Pauly, A., Sold\u00e0, G.: Sequential discontinuity and first-order problems (2024). https:\/\/doi.org\/10.48550\/arXiv.2401.12641","DOI":"10.48550\/arXiv.2401.12641"},{"issue":"7","key":"27_CR13","doi-asserted-by":"publisher","first-page":"103270","DOI":"10.1016\/j.apal.2023.103270","volume":"174","author":"G Sold\u00e0","year":"2023","unstructured":"Sold\u00e0, G., Valenti, M.: Algebraic properties of the first-order part of a problem. Ann. Pure Appl. Logic 174(7), 103270 (2023). https:\/\/doi.org\/10.1016\/j.apal.2023.103270","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Twenty Years of Theoretical and Practical Synergies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64309-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:04:03Z","timestamp":1719871443000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64309-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643088","9783031643095"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64309-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}