{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:28Z","timestamp":1760202688177,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319286778"},{"type":"electronic","value":"9783319286785"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28678-5_11","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T10:14:18Z","timestamp":1452248058000},"page":"147-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Le Roux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"11_CR1","unstructured":"Abramsky, S., Winschel, V.: Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting (2012). arXiv preprint"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Brihaye, T., Bruy\u00e8re, V., De Pril, J., Gimbert, H.: On subgame perfection in quantitative reachability games. Logical Methods in Computer Science, vol. 9 (2012)","DOI":"10.2168\/LMCS-9(1:7)2013"},{"key":"11_CR3","unstructured":"Brihaye, T., Bruy\u00e8re, V., Meunier, N., Raskin, J.F.: Weak subgame perfect equilibria and their application to quantitative reachability (2015)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"JR B\u00fcchi","year":"1969","unstructured":"B\u00fcchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Trans. Am. Math. Soc. 138, 295\u2013311 (1969)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0960129509990351","volume":"20","author":"M Escard\u00f3","year":"2010","unstructured":"Escard\u00f3, M., Oliva, P.: Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20(4), 127\u2013168 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1287\/moor.1100.0469","volume":"35","author":"J Flesch","year":"2010","unstructured":"Flesch, J., Kuipers, J., Mashiah-Yaakovi, A., Schoenmakers, G., Solan, E., Vrieze, K.: Perfect-information games with lower-semicontinuous payoffs. Math. Oper. Res. 35, 742\u2013755 (2010)","journal-title":"Math. Oper. Res."},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1007\/s00182-014-0412-3","volume":"43","author":"J Flesch","year":"2014","unstructured":"Flesch, J., Kuipers, J., Mashiah-Yaakovi, A., Schoenmakers, G., Shmaya, E., Solan, E., Vrieze, K.: Non-existence of subgame-perfect \n                    \n                      \n                    \n                    $$\\varepsilon $$\n                    \n                      \n                        \u03b5\n                      \n                    \n                  -equilibrium in perfect information games with infinite horizon. Int. J. Game Theor. 43(4), 945\u2013951 (2014)","journal-title":"Int. J. Game Theor."},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0022-0531(83)90076-5","volume":"31","author":"D Fudenberg","year":"1983","unstructured":"Fudenberg, D., Levine, D.: Subgame-perfect equilibria of finite- and infinite-horizon games. J. Econ. Theor. 31(2), 251\u2013268 (1983)","journal-title":"J. Econ. Theor."},{"key":"11_CR9","first-page":"245","volume":"28","author":"D Gale","year":"1953","unstructured":"Gale, D., Stewart, F.M.: Infinite games with perfect information. Ann. Math. Stud. 28, 245\u2013266 (1953)","journal-title":"Ann. Math. Stud."},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/11539452_33","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"H Gimbert","year":"2005","unstructured":"Gimbert, H., Zielonka, W.: Games where you can play optimally without any memory. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 428\u2013442. Springer, Heidelberg (2005)"},{"key":"11_CR11","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical Descriptive Set Theory","author":"AS Kechris","year":"1995","unstructured":"Kechris, A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156. Springer, New York (1995)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Kuhn, H.W.: Extensive games and the problem of information. In: Contributions to the Theory of Games II, pp. 193\u2013216 (1953)","DOI":"10.1515\/9781400881970-012"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-03359-9_21","volume-title":"Theorem Proving in Higher Order Logics","author":"S Roux Le","year":"2009","unstructured":"Le Roux, S.: Acyclic preferences and existence of sequential nash equilibria: a formal and constructive equivalence. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 293\u2013309. Springer, Heidelberg (2009)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Le Roux, S.: Infinite sequential Nash equilibrium. Logical Methods in Computer Science, 9 (2013). Special Issue for the Conference Computability and Complexity in Analysis, (CCA 2011)","DOI":"10.2168\/LMCS-9(2:3)2013"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1002\/malq.201300034","volume":"60","author":"S Roux Le","year":"2014","unstructured":"Le Roux, S.: From winning strategy to Nash equilibrium. Math. Logic Q. 60, 354\u2013371 (2014)","journal-title":"Math. Logic Q."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Le Roux, S., Pauly, A.: Infinite sequential games with real-valued payoffs. In: Proceedings of LiCS (2014)","DOI":"10.1145\/2603088.2603120"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Le Roux, S., Pauly, A.: Weihrauch degrees of finding equilibria in sequential games. In: Proceedings of CiE 2015 (2015) (to appear)","DOI":"10.1007\/978-3-319-20028-6_25"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s00236-012-0153-3","volume":"49","author":"P Lescanne","year":"2012","unstructured":"Lescanne, P., Perrinel, M.: Backward coinduction, Nash equilibrium and the rationality of escalation. Acta Informatica 49(3), 117\u2013137 (2012)","journal-title":"Acta Informatica"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"DA Martin","year":"1975","unstructured":"Martin, D.A.: Borel determinacy. Ann. Math. 102, 363\u2013371 (1975)","journal-title":"Ann. Math."},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0168-0072(90)90029-2","volume":"49","author":"DA Martin","year":"1990","unstructured":"Martin, D.A.: An extension of Borel determinacy. Ann. Pure Appl. Logic 49, 279\u2013293 (1990)","journal-title":"Ann. Pure Appl. Logic"},{"key":"11_CR21","unstructured":"Mertens, J-F.: Repeated games. In: Proceedings of the International Congress of Mathematicians, pp. 1528\u20131577. American Mathematical Society (1987)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1287\/moor.1110.0504","volume":"36","author":"R Purves","year":"2011","unstructured":"Purves, R., Sudderth, W.: Perfect information games with upper-semicontinuous payoffs. Math. Oper. Res. 36, 468\u2013473 (2011)","journal-title":"Math. Oper. Res."},{"key":"11_CR23","unstructured":"Selten, R.: Spieltheoretische Behandlung eines Oligopolmodells mit Nachfragetr\u00e4gheit. Zeitschrift f\u00fcr die desamte Staatswissenschaft, vol. 121 (1965)"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1038\/246015a0","volume":"246","author":"MJ Smith","year":"1973","unstructured":"Smith, M.J., Price, G.R.: The logic of animal conflicts. Nature 246, 15\u201318 (1973)","journal-title":"Nature"},{"issue":"8","key":"11_CR25","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/S0304-4068(03)00021-1","volume":"39","author":"E Solan","year":"2003","unstructured":"Solan, E., Vieille, N.: Deterministic multi-player dynkin games. J. Math. Econ. 39(8), 911\u2013929 (2003)","journal-title":"J. Math. Econ."},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/11944836_21","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"M Ummels","year":"2006","unstructured":"Ummels, M.: Rational behaviour and strategy construction in infinite multiplayer games. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 212\u2013223. Springer, Heidelberg (2006)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"841","DOI":"10.2140\/pjm.1955.5.841","volume":"5","author":"P Wolfe","year":"1955","unstructured":"Wolfe, P.: The strict determinateness of certain infinite games. Pac. J. Math. 5, 841\u2013847 (1955)","journal-title":"Pac. J. Math."}],"container-title":["Lecture Notes in Computer Science","Topics in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28678-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,7]],"date-time":"2020-01-07T20:05:26Z","timestamp":1578427526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28678-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319286778","9783319286785"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28678-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}