{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:37:14Z","timestamp":1759639034536},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2015,7,23]],"date-time":"2015-07-23T00:00:00Z","timestamp":1437609600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2017,6]]},"abstract":"<jats:p>We present a novel coalgebraic formulation of infinite extensive games. We define both the game trees and the strategy profiles by possibly infinite systems of corecursive equations. Certain strategy profiles are proved to be subgame-perfect equilibria using a novel proof principle of predicate coinduction which is shown to be sound. We characterize all subgame-perfect equilibria for the dollar auction game. The economically interesting feature is that in order to prove these results we do not need to rely on continuity assumptions on the pay-offs which amount to discounting the future. In particular, we prove a form of one-deviation principle without any such assumptions. This suggests that coalgebra supports a more adequate treatment of infinite-horizon models in game theory and economics.<\/jats:p>","DOI":"10.1017\/s0960129515000365","type":"journal-article","created":{"date-parts":[[2015,7,23]],"date-time":"2015-07-23T00:53:10Z","timestamp":1437612790000},"page":"751-761","source":"Crossref","is-referenced-by-count":13,"title":["Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting"],"prefix":"10.1017","volume":"27","author":[{"given":"SAMSON","family":"ABRAMSKY","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"VIKTOR","family":"WINSCHEL","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2015,7,23]]},"reference":[{"key":"S0960129515000365_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01110627"},{"key":"S0960129515000365_ref7","first-page":"222","article-title":"A tutorial on (co) algebras and (co) induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"Bulletin-European Association for Theoterical Computer Science"},{"key":"S0960129515000365_ref11","unstructured":"Lescanne P. (2011). Rationality and escalation in infinite extensive games. preprint arXiv:1112.1185."},{"key":"S0960129515000365_ref2","volume-title":"Game Theory","author":"Fudenberg","year":"1991"},{"key":"S0960129515000365_ref3","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.14.3.159"},{"key":"S0960129515000365_ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0531(83)90076-5"},{"key":"S0960129515000365_ref19","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"S0960129515000365_ref18","doi-asserted-by":"crossref","unstructured":"Shubik M. (1971). The dollar auction game: A paradox in noncooperative behavior and escalation. Journal of Conflict Resolution 109\u2013111.","DOI":"10.1177\/002200277101500111"},{"key":"S0960129515000365_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-012-0153-3"},{"key":"S0960129515000365_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"S0960129515000365_ref13","volume-title":"Recursive Macroeconomic Theory","author":"Ljungqvist","year":"2004"},{"key":"S0960129515000365_ref8","first-page":"2013134","article-title":"Un th\u00e9oreme sur les fonctions d'ensembles","volume":"6","author":"Knaster","year":"1928","journal-title":"Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique"},{"key":"S0960129515000365_ref9","doi-asserted-by":"crossref","unstructured":"Kozen D. and Ruozzi N. (2007). Applications of metric coinduction. In: Proceedings of the 2nd International Conference on Algebra and Coalgebra in Computer Science, Springer-Verlag 327\u2013341.","DOI":"10.1007\/978-3-540-73859-6_22"},{"key":"S0960129515000365_ref6","unstructured":"Jacobs B. (2005). Introduction to coalgebra. Towards Mathematics of States and Observations. Available at http:\/\/www.cs.ru.nl\/B.Jacobs\/CLG\/JacobsCoalgebraIntro.pdf, 22."},{"key":"S0960129515000365_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"S0960129515000365_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80353-6"},{"key":"S0960129515000365_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.036"},{"key":"S0960129515000365_ref4","unstructured":"Honsell F. and Lenisa M. (2011). Conway games, algebraically and coalgebraically. preprint arXiv:1107.1351."},{"key":"S0960129515000365_ref5","doi-asserted-by":"crossref","unstructured":"Honsell F. , Lenisa M. and Redamalla R. (2012). Categories of coalgebraic games. In: Proceedings of the 37th International Symposium, Mathematical Foundations of Computer Science, Springer 503\u2013515.","DOI":"10.1007\/978-3-642-32589-2_45"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T18:42:48Z","timestamp":1555526568000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000365\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,23]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["S0960129515000365"],"URL":"https:\/\/doi.org\/10.1017\/s0960129515000365","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,23]]}}}