Infinite horizon extensive form games, coalgebraically

Tools

Capucci, Matteo and Ghani, Neil and Kupke, Clemens and Ledent, Jérémy and Nordvall Forsberg, Fredrik; Benini, Marco and Beyersdorff, Olaf and Rathjen, Michael and Schuster, Peter, eds. (2023) Infinite horizon extensive form games, coalgebraically. In: Mathematics for Computation. World Scientific Publishing Co. Pte Ltd, Singapore, pp. 195-222. ISBN 978-981-12-4523-7 (https://doi.org/10.1142/9789811245220_0008)

[thumbnail of Capucci-etal-MC-2022-Infinite-horizon-extensive-form-games-coalgebraically]
Preview
 Text. Filename: Capucci_etal_MC_2022_Infinite_horizon_extensive_form_games_coalgebraically.pdf
Accepted Author Manuscript
License: Strathprints license 1.0
Download (780kB)| Preview

Abstract

Nash equilibrium in every subgame of the game. In a series of papers, Douglas Bridges investigated constructive aspects of the theory of games where players move simultaneously (so-called normal form games), and their preference relations. This article is concerned with a constructive treatment of games where players move sequentially. A common way to model sequential games is using their extensive form: a game is represented as a tree, whose branching structure reflects the decisions available to the players, and whose leaves (corresponding to a complete 'play' of the game) are decorated by payoffs for each player. When the number of rounds in the game is infinite (e.g. because a finite game is repeated an infinite number of times, or because the game may continue forever), the game tree needs to be infinitely deep. One way to handle such infinite trees is to consider them as the metric completion of finite trees, after equipping them with a suitable metric. However, as a definitional principle, this only gives a method to construct functions into other complete metric spaces, and the explicit construction as a quotient of Cauchy sequences can be unwieldy to work with. Instead, we prefer to treat the infinite as the dual of the finite, in the spirit of category theory and especially the theory of coalgebras.

ORCID iDs

Capucci, Matteo, Ghani, Neil ORCID logoORCID: https://orcid.org/0000-0002-3988-2560, Kupke, Clemens, Ledent, Jérémy ORCID logoORCID: https://orcid.org/0000-0001-7375-4725 and Nordvall Forsberg, Fredrik ORCID logoORCID: https://orcid.org/0000-0001-6157-9288; Benini, Marco, Beyersdorff, Olaf, Rathjen, Michael and Schuster, Peter
CORE (COnnecting REpositories)