{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:18Z","timestamp":1742913378552,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"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_23","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:01:49Z","timestamp":1719871309000},"page":"285-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Lipschitz Determinacy and\u00a0Arithmetic Transfinite Recursion"],"prefix":"10.1007","author":[{"given":"Andr\u00e9s","family":"Cord\u00f3n-Franco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. F\u00e9lix","family":"Lara-Mart\u00edn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel J. S.","family":"Loureiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Cord\u00f3n-Franco, A., Lara-Mart\u00edn, F.F., Loureiro, M.J.S.: Lipschitz and Wadge binary games in second order arithmetic. Ann. Pure Appl. Log. 174(9) (2023). paper 103301","key":"23_CR1","DOI":"10.1016\/j.apal.2023.103301"},{"unstructured":"Day, A., Greenberg, N., Harrison-Trainor, M., Turetsky, D.: An effective classification of Borel Wadge classes. Submitted","key":"23_CR2"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1090\/S0002-9947-07-04285-7","volume":"360","author":"N Greenberg","year":"2008","unstructured":"Greenberg, N., Montalb\u00e1n, A.: Ranked structures and arithmetic transfinite recursion. Trans. Am. Math. Soc. 360(3), 1265\u20131307 (2008)","journal-title":"Trans. Am. Math. Soc."},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s001530050165","volume":"39","author":"JL Hirst","year":"2000","unstructured":"Hirst, J.L.: Reverse mathematics and rank functions for directed graphs. Arch. Math. Logic 39, 569\u2013579 (2000)","journal-title":"Arch. Math. Logic"},{"doi-asserted-by":"crossref","unstructured":"Hirst, J.L.: A survey of the reverse mathematics of ordinal arithmetic. In: Simpson, S.G. (ed.) Reverse Mathematics 2001, Lecture Notes in Logic, vol. 21, pp. 222\u2013234 (2001)","key":"23_CR5","DOI":"10.1017\/9781316755846.014"},{"unstructured":"Loureiro, M.J.S.: Semilinear order property and infinite games, Ph.D. thesis, University of Seville, Spain, 2016","key":"23_CR6"},{"doi-asserted-by":"crossref","unstructured":"Louveau, A., Saint Raymond, J.: Borel classes and closed games: Wadge-type and Hurewitcz-type results. Trans. Am. Math. Soc. 304, 431\u2013467 (1987)","key":"23_CR7","DOI":"10.1090\/S0002-9947-1987-0911079-0"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1112\/plms\/pdr022","volume":"104","author":"A Montalb\u00e1n","year":"2012","unstructured":"Montalb\u00e1n, A., Shore, R.A.: The limits of determinacy in second order arithmetic. Proc. Lond. Math. Soc. 104, 223\u2013252 (2012)","journal-title":"Proc. Lond. Math. Soc."},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1002\/malq.200610041","volume":"53","author":"T Nemoto","year":"2007","unstructured":"Nemoto, T., MedSalem, M.O., Tanaka, K.: Infinite games in the Cantor space and subsystems of second order arithmetic. Math. Log. Quart. 53, 226\u2013236 (2007)","journal-title":"Math. Log. Quart."},{"unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Mathematical Logic, 2nd edn. Cambridge University Press, Cambridge (2009)","key":"23_CR10"},{"unstructured":"Steel, J.R.: Determinateness and subsystems of analysis, Ph.D. thesis, University of California, Berkeley, 1977","key":"23_CR11"},{"unstructured":"Wadge, W.W.: Reducibility and Determinateness on the Baire Space, Ph.D. thesis, University of California, Berkeley, 1983","key":"23_CR12"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:03:48Z","timestamp":1719871428000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64309-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643088","9783031643095"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64309-5_23","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"}}]}}