Set theory seminar – Marion Scheepers: Coding strategies (II)

For the first talk, see here. The second talk took place on September 21.

We want to prove of Theorem 1, that if , then II has a winning coding strategy in .

The argument makes essential use of the following:

Coding Lemma.Let be a poset such that for all ,

Suppose that . Then there is a map such that

Proof. Note that is infinite. We may then identify it with some infinite cardinal . It suffices to show that for any partial ordering on as in the hypothesis, there is a map such that for any , there is a with such that .

Well-order in type , and call this ordering. We define by transfinite recursion through . Given , let be the set of its -predecessors,

.

Our inductive assumption is that for any pair , we have chosen some with , and defined . Let us denote by the domain of the partial function we have defined so far. Note that . Since has size , it must meet . Take to be least in this intersection, and set , thus completing the stage of this recursion.

At the end, the resulting map can be extended to a map with domain in an arbitrary way, and this function clearly is as required.

Back to the proof of . Fix a perfect information winning strategy for II in , and a set cofinal in of least possible size. Pick a such that for all we have .

Given , let . Now we consider two cases, depending on whether for some we have or not.

Suppose first that for all . Then the Coding Lemma applies with in the role of , and as chosen. Let be as in the lemma.

We define as follows:

Given , let be such that , and set .

Given with , let be such that , and set .

Clearly, is winning: In any run of the game with II following , player II’s moves cover their responses following , and we are done since is winning.

The second case, when there is some with , will be dealt with in the next talk.

43.614000-116.202000

Advertisements

Like this:

LikeLoading...

Related

This entry was posted on Monday, September 27th, 2010 at 11:31 am and is filed under Set theory seminar. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

4 Responses to Set theory seminar – Marion Scheepers: Coding strategies (II)

Let $C$ be the standard Cantor middle-third set. As a consequence of the Baire category theorem, there are numbers $r$ such that $C+r$ consists solely of irrational numbers, see here. What would be an explicit example of a number $r$ with this property? Short of an explicit example, are there any references addressing this question? A natural approach would […]

Suppose $M$ is an inner model (of $\mathsf{ZF}$) with the same reals as $V$, and let $A\subseteq \mathbb R$ be a set of reals in $M$. Suppose further that $A$ is determined in $M$. Under these assumptions, $A$ is also determined in $V$. The point is that since winning strategies are coded by reals, and any possible run of the game for $A$ is coded by a real, […]

Yes. This is obvious if there are no such cardinals. (I assume that the natural numbers of the universe of sets are the true natural numbers. Otherwise, the answer is no, and there is not much else to do.) Assume now that there are such cardinals, and that "large cardinal axiom" is something reasonable (so, provably in $\mathsf{ZFC}$, the relevant […]

Please send an email to mathrev@ams.org, explaining the issue. (This is our all-purpose email address; any mistakes you discover, not just regarding references, you can let us know there.) Give us some time, I promise we'll get to it. However, if it seems as if the request somehow fell through the cracks, you can always contact one of your friendly edit […]

The characterization mentioned by Mohammad in his answer really dates back to Lev Bukovský in the early 70s, and, as Ralf and Fabiana recognize in their note, has nothing to do with $L$ or with reals (in their note, they indicate that after proving their result, they realized they had essentially rediscovered Bukovský's theorem). See MR0332477 (48 #1080 […]

The paper MR1029909 (91b:03090). Mekler, Alan H.; Shelah, Saharon. The consistency strength of "every stationary set reflects". Israel J. Math. 67 (1989), no. 3, 353–366, that you mention in the question actually provides the relevant references and explains the key idea of the argument. Note first that $\kappa$ is assumed regular. They refer to MR […]

Start with Conway's base 13 function $c $ (whose range on any interval is all of $\mathbb R $), which is everywhere discontinuous, and note that if $f $ only takes values $0$ and $1$, then $c+f $ is again everywhere discontinuous (since its range on any interval is unbounded). Now note that there are $2^\mathfrak c $ such functions $f $: the characteris […]

Yes, there are such sets. To describe an example, let's start with simpler tasks. If we just want $P\ne\emptyset$ with $P^1=\emptyset$, take $P$ to be a singleton. If we want $P^1\ne\emptyset$ and $P^2=\emptyset$, take $P$ to be a strictly increasing sequence together with its limit $a$. Then $P^1=\{a\}$. If we want $P^2\ne\emptyset$ and $P^3=\emptyset$ […]

The result was proved by Kenneth J. Falconer. The reference is MR0629593 (82m:05031). Falconer, K. J. The realization of distances in measurable subsets covering $R^n$. J. Combin. Theory Ser. A 31 (1981), no. 2, 184–189. The argument is relatively simple, you need a decent understanding of the Lebesgue density theorem, and some basic properties of Lebesgue m […]

No, not even $\mathsf{DC}$ suffices for this. Here, $\mathsf{DC}$ is the axiom of dependent choice, which is strictly stronger than countable choice. For instance, it is a theorem of $\mathsf{ZF}$ that for any set $X$, the set $\mathcal{WO}(X)$ of subsets of $X$ that are well-orderable has size strictly larger than the size of $X$. This is a result of Tarski […]

[…] Scheepers: Coding strategies (III) For the second talk (and a link to the first one), see here. The third talk took place on September […]

[…] Next talk. 43.614000 -116.202000 […]

[…] the second talk (and a link to the first one), see here. The third talk took place on September […]

[…] Next talk. 43.614000 -116.202000 Like this:LikeBe the first to like this. […]