Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0912.5524

The Cardinality of Infinite Games

Thomas Kellam Meyer
View original source ↗Read source document ↗Export metadata ↓

Abstract

The focus of this essay is a rigorous treatment of infinite games. An infinite game is defined as a play consisting of a fixed number of players whose sequence of moves is repeated, or iterated ad infinitum. Each sequence corresponds to a single iteration of the play, where there are an infinite amount of iterations. There are two distinct concepts within this broad definition which encompass all infinite games: the strong infinite game and the weak infinite game. Both differ in terms of imputations. The strong infinite game has a uniqueness qualification in that all moves must differ to the extent that no imputation (these occur at the end of any given iteration) may ever be the same. Conversely, there is no such qualification in a weak infinite game, any payout may equal another. Another property shared by strong and weak infinite games (apart from their fulfilling the criterion of an infinite game) is the fact that both consist of a countably infinite amount of moves. Therefore all infinite games have a countably infinite number of turns; the set of all infinite games is composed of each strong and weak infinite game. This result has a very important consequence: the ordinality of turns. That is, the moves of an infinite game have an order or structure which they adhere to. It is this structure which provides any future development or game theoretical analysis of these sorts of games with the necessary foundation.

Explore related subjects

math.CTcs.GTmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Thomas Kellam Meyer. 2010-01-11. The Cardinality of Infinite Games. https://arxiv.org/abs/0912.5524

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category. The Hochschild cohomology of the second kind of a curved or curved algebra $A$ is then equivalent to the classical Hochschild cohomology of the twisted derived dg category of $A$, which is often geometrically meaningful. Examples include the category of $\infty$-local systems on a topological space, the bounded derived category of a complex manifold and the category of matrix factorizations. We also show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality and weak equivalences of curved algebras. The main technical ingredient is a new bimodule version of Koszul duality.

math.CT↗
arXiv2026

Localization of lax symmetric monoidal categories

In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads". Version 2: A stronger version of the result is proven. Given a locally cocartesian fibration $f:X\to B$ and a collection of marked arrows $X^\circ\subset f^{-1}(B^{eq})$ in $X$ closed under locally cocartesian liftings, we prove that the localization $\mathcal{L}(X,X^\circ)\to B$ is also a locally cocartesian fibration whose fibers are localizations of the fibers of $f$. This result is applied to the description of localizations of lax symmetric monoidal categories.

math.CT↗
arXiv2026

Cocompactness and Presentability

We give a short proof that $κ$-cocompact objects in a presentable category are subterminal. As our main result, we extend this to the setting of presentable $\infty$-categories. A consequence is that an $\infty$-category $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^\mathsf{op}$ are presentable is a small complete lattice, extending a classical theorem of Gabriel-Ulmer. Along the way, we prove a nilpotence result for phantom maps in general pointed presentable $\infty$-categories. Additionally, we show that a strengthening of our main result is equivalent to the existence of a proper class of measurable cardinals.

math.CT↗