{"id":"https://openalex.org/W1605142459","doi":"https://doi.org/10.1017/s0960129515000365","title":"Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting","display_name":"Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting","publication_year":2015,"publication_date":"2015-07-23","ids":{"openalex":"https://openalex.org/W1605142459","doi":"https://doi.org/10.1017/s0960129515000365","mag":"1605142459"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129515000365","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129515000365","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1210.4537","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"SAMSON ABRAMSKY","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"SAMSON ABRAMSKY","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Oxford, Oxfordshire, U.K. Email:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, Oxfordshire, U.K. Email:","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":null,"display_name":"VIKTOR WINSCHEL","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"VIKTOR WINSCHEL","raw_affiliation_strings":["Department of Management, Technology, and Economics, ETH Zurich, Zurich, Switzerland Email:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Management, Technology, and Economics, ETH Zurich, Zurich, Switzerland Email:","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8282,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.86208189,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"27","issue":"5","first_page":"751","last_page":"761"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.4726000130176544,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.4726000130176544,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.243599995970726,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.17720000445842743,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/coalgebra","display_name":"Coalgebra","score":0.7430999875068665},{"id":"https://openalex.org/keywords/discounting","display_name":"Discounting","score":0.7105000019073486},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5767999887466431},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.39430001378059387},{"id":"https://openalex.org/keywords/liberian-dollar","display_name":"Liberian dollar","score":0.3422999978065491},{"id":"https://openalex.org/keywords/kleenes-recursion-theorem","display_name":"Kleene's recursion theorem","score":0.3402000069618225}],"concepts":[{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.7430999875068665},{"id":"https://openalex.org/C6177178","wikidata":"https://www.wikidata.org/wiki/Q10998070","display_name":"Discounting","level":2,"score":0.7105000019073486},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5767999887466431},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.477400004863739},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4465999901294708},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40700000524520874},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.39430001378059387},{"id":"https://openalex.org/C109168655","wikidata":"https://www.wikidata.org/wiki/Q242988","display_name":"Liberian dollar","level":2,"score":0.3422999978065491},{"id":"https://openalex.org/C123260079","wikidata":"https://www.wikidata.org/wiki/Q1933521","display_name":"Kleene's recursion theorem","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C40220748","wikidata":"https://www.wikidata.org/wiki/Q4227156","display_name":"Coinduction","level":3,"score":0.3361999988555908},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.3319000005722046},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.3190999925136566},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.31859999895095825},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.2793999910354614}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129515000365","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129515000365","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1210.4537","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1210.4537","pdf_url":"https://arxiv.org/pdf/1210.4537","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1210.4537","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1210.4537","pdf_url":"https://arxiv.org/pdf/1210.4537","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7049646806","display_name":null,"funder_award_id":"EP/D037085/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W150681373","https://openalex.org/W1726965442","https://openalex.org/W2046213250","https://openalex.org/W2048363324","https://openalex.org/W2062600857","https://openalex.org/W2083100616","https://openalex.org/W2085858043","https://openalex.org/W2088189323","https://openalex.org/W2097827038","https://openalex.org/W2158921667","https://openalex.org/W4213277014","https://openalex.org/W4250744658","https://openalex.org/W7053504691"],"related_works":[],"abstract_inverted_index":{"We":[0,10,50],"present":[1],"a":[2,37,94,108],"novel":[3,38],"coalgebraic":[4],"formulation":[5],"of":[6,24,41,96,112],"infinite":[7,22],"extensive":[8],"games.":[9],"define":[11],"both":[12],"the":[13,17,56,82,88],"game":[14,116],"trees":[15],"and":[16,118],"strategy":[18,28],"profiles":[19,29],"by":[20],"possibly":[21],"systems":[23],"corecursive":[25],"equations.":[26],"Certain":[27],"are":[30],"proved":[31],"to":[32,47,68,76,86],"be":[33,48],"subgame-perfect":[34,53],"equilibria":[35,54],"using":[36],"proof":[39],"principle":[40,98],"predicate":[42],"coinduction":[43],"which":[44,84],"is":[45,64],"shown":[46],"sound.":[49],"characterize":[51],"all":[52],"for":[55],"dollar":[57],"auction":[58],"game.":[59],"The":[60],"economically":[61],"interesting":[62],"feature":[63],"that":[65,105],"in":[66,115],"order":[67],"prove":[69,93],"these":[70],"results":[71],"we":[72,92],"do":[73],"not":[74],"need":[75],"rely":[77],"on":[78,81],"continuity":[79],"assumptions":[80],"pay-offs":[83],"amount":[85],"discounting":[87],"future.":[89],"In":[90],"particular,":[91],"form":[95],"one-deviation":[97],"without":[99],"any":[100],"such":[101],"assumptions.":[102],"This":[103],"suggests":[104],"coalgebra":[106],"supports":[107],"more":[109],"adequate":[110],"treatment":[111],"infinite-horizon":[113],"models":[114],"theory":[117],"economics.":[119]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2016-06-24T00:00:00"}