English
Related papers

Related papers: Infinitely many absolute universes

200 papers

We introduce a class of extensive form games where players might not be able to foresee the possible consequences of their decisions and form a model of their opponents which they exploit to achieve a more profitable outcome. We improve…

Artificial Intelligence · Computer Science 2016-05-31 Paolo Turrini

We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already,…

Logic · Mathematics 2018-02-06 Dániel T. Soukup , Lajos Soukup

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…

Logic in Computer Science · Computer Science 2019-09-04 Yong Wang

In set theory without the axiom of regularity, we consider a game in which two players choose in turn an element of a given set, an element of this element, etc.; a player wins if its adversary cannot make any next move. Sets that are…

Logic · Mathematics 2007-05-23 Denis I. Saveliev

Attack--defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack--defense trees and game theory is made explicit. We show that attack--defense trees and…

Cryptography and Security · Computer Science 2011-05-05 Barbara Kordy , Sjouke Mauw , Matthijs Melissen , Patrick Schweitzer

The aim of this of this paper is to study infinite games and to prove formally some properties in this framework. As a consequence we show that the behavior (the madness) of people which leads to speculative crashes or escalation can be…

Computer Science and Game Theory · Computer Science 2012-02-10 Pierre Lescanne

This note will address the issue of the existence of God from a game theoretic perspective. We will show that, under certain assumptions, man cannot simultaneously be (i) rational and (ii) believe that an infinitely powerful God exists.…

History and Philosophy of Physics · Physics 2012-06-29 Jesse Hoey

We fully characterize the core of a broad class of nonlinear games by identifying a suitable relaxation for inherent nonlinearity, directly generalizing the linear frameworks in the literature. This characterization significantly expands…

Optimization and Control · Mathematics 2026-01-21 Donglei Du , Qizhi Fang , Bin Liu , Tianhang Lu , Chenchen Wu

We introduce a misere quotient semigroup construction in impartial combinatorial game theory, and argue that it is the long-sought natural generalization of the normal-play Sprague-Grundy theory to misere play. Along the way, we illustrate…

Combinatorics · Mathematics 2007-05-23 Thane E. Plambeck

This paper introduces a new solution concept for non-cooperative games in normal form with no ties and pure strategies: the Perfectly Transparent Equilibrium. The players are rational in all possible worlds and know each other's strategies…

Computer Science and Game Theory · Computer Science 2020-03-19 Ghislain Fourny

LP-duality theory has played a central role in the study of the core, right from its early days to the present time. However, despite the extensive nature of this work, basic gaps still remain. We address these gaps using the following…

Computer Science and Game Theory · Computer Science 2023-03-14 Vijay V. Vazirani

In this work, we discuss a number game that develops in a manner similar to that on which Gilbreath's conjecture on iterated absolute differences between consecutive primes is formulated. In our case the action occurs at the exponent level…

Number Theory · Mathematics 2014-11-06 Cristian Cobeli , Alexandru Zaharescu

We prove that chess played on the infinite chessboard $\mathbb{Z}^2$ with infinitely many pieces is as powerful as it could possibly be, by showing that every open Gale-Stewart game with draws is strategically equivalent to some infinite…

Logic · Mathematics 2026-02-17 Matthew Bolan , Andreas Tsevas

The theory of combinatorial game (like board games) and the theory of social games (where one looks for Nash equilibria) are normally considered as two separate theories. Here we shall see what comes out of combining the ideas. The central…

Probability · Mathematics 2010-05-28 Peter Harremoes

We propose a model for games in which the players have shared access to a blockchain that allows them to deploy smart contracts to act on their behalf. This changes fundamental game-theoretic assumptions about rationality since a contract…

Computer Science and Game Theory · Computer Science 2023-04-05 Mathias Hall-Andersen , Nikolaj I. Schwartzbach

Mean Field Game systems describe equilibrium configurations in differential games with infinitely many infinitesimal interacting agents. We introduce a learning procedure (similar to the Fictitious Play) for these games and show its…

Optimization and Control · Mathematics 2015-08-03 Pierre Cardaliaguet , Saeed Hadikhanloo

We formulate and analyze game-theoretic problems for systems governed by integral equations. For Volterra integral equations, we obtain and prove necessary and sufficient conditions for linear-quadratic problems, and for problems that are…

Optimization and Control · Mathematics 2019-06-27 S. A. Belbas

Games, in their mathematical sense, are everywhere (game industries, economics, defense, education, chemistry, biology, ...).Search algorithms in games are artificial intelligence methods for playing such games. Unfortunately, there is no…

Artificial Intelligence · Computer Science 2025-05-16 Quentin Cohen-Solal

We study new classes of games, called zero-sum equivalent games and zero-sum equivalent potential games, and prove decomposition theorems involving these classes of games. We say that two games are "strategically equivalent" if, for every…

Computer Science and Game Theory · Computer Science 2020-05-20 Sung-Ha Hwang , Luc Rey-Bellet

We prove the almost equivalence of the minimax theorem and the strong duality theorem for a large class of games and conic programs. The previous fundamental results on the equivalence of linear programming and two-player zero-sum games…

Optimization and Control · Mathematics 2026-04-14 Nikos Dimou