3
votes
1answer
220 views

Indeterminacy of long games

Hello, all, Several months ago I sat in on a seminar on AD+, which was incredibly wonderful even though I could barely follow it at all. AD+ is a technical variant of AD, the axiom of determinacy, ...
3
votes
2answers
547 views

Set Cardinality Game - Can a player with numbers in R win over a player with numbers in N as each of them in one turn has to present a new number?

Let there be 2 players, p$\mathbb{N}$ and p$\mathbb{R}$. They are playing the Set Cardinality Game where p$\mathbb{N}$ has to present some number n that has not been used in the game so far by either ...
2
votes
2answers
621 views

Games of imperfect information (e.g. Blackwell's games) in Set Theory?

Hello, Intro about standard two player games Gale-Stewart games are the well-known games played by two Players $I$ and $II$, which in turn play natural numbers for infinitely many ($\omega$) steps. ...
4
votes
1answer
287 views

Subsets of sequences of natural numbers vs. strategies under ZFC

This question is related to a previous question of mine: Determinacy interchanging the roles of both players Given any set A of sequences of natural numbers, every strategy (no matter for which ...
3
votes
2answers
477 views

Determinacy interchanging the roles of both players

Let me refer to Jech's "Set Theory" Chap. 33 Determinacy: "With each subset A of $\omega^\omega$ we associate the following game $G_A$, played by two players I and II. First I chooses a natural ...
13
votes
5answers
1k views

Finding the largest integer describable with a string of symbols of predefined length

(This question is motivated by the reading of the article Large numbers and unprovable theorems by Joel Spencer, which can be found at ...