This semester, the seminar started with a series of talks by Marion. The first talk happened on September 14.
We consider two games relative to a (proper) ideal for some set . The ideal is not assumed to be -complete; we denote by its -closure, i.e., the collection of countable unions of elements of . Note that is a -ideal iff is an ideal iff .
The two games we concentrate on are the Random Game on , , and the Weakly Monotonic game on , .
In both games, players I and II alternate for many innings, with I moving first, moving as follows:
In we do not require that the relate to one another in any particular manner (thus “random”), while in we require that (thus “weakly”, since we allow equality to occur).
In both games, player II wins iff . Obviously, II has a (perfect information) winning strategy, with rather than the weaker .
However, we are interested in an apparently very restrictive kind of strategy, and so we will give some leeway to player II by allowing its moves to over-spill if needed. The strategies for II we want to consider we call coding strategies. In these strategies, II only has access to player I’s latest move, and to its own most recent move. So, if is a coding strategy, and II follows it in a run of the game, then we have that for every ,
The underlying goal is to understand under which circumstances player II has a winning coding strategy in . Obviously, this is the case if II has a winning coding strategy in .
Theorem 1. For an ideal , the following are equivalent:
- II has a winning coding strategy in .
Corollary. implies that for any ideal , II has a winning strategy in .
We can reformulate our goal as asking how much one can weaken in the corollary.
Let’s denote by , the weak singular cardinals hypothesis, the statement that if is singular strong limit of uncountable cofinality, then for no cardinal of countable cofinality, we have .
By work of Gitik and Mitchell, we know that the negation of is equiconsistent with the existence of a of Mitchell order .
Theorem 2. The following are equivalent:
- For each ideal on a singular strong limit of uncountable cofinality, II has a winning strategy in .
We now begin the proof of Theorem 1.
Suppose II has a winning coding strategy in . We want to show that . For this, we will define a map with -cofinal range, as follows: Given , let and for all . Now set
To see that is cofinal, given , let , so that the are II’s responses using in a run of the game where player I first plays and then plays in all its subsequent moves. Since is winning, we must have .