diff options
| -rw-r--r-- | notes-mitro206.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index fa808a7..f3253a6 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -1903,6 +1903,13 @@ ne choisissent un coup qu'en fonction du sommet $x \in G$. % Note: if we consider the tree of the historical strategy, all of its % branches are finite (because an infinite branch would be a draw). +% Note: consider a maximal winning-from-were-defined positional +% strategy (Zorn), show that it is defined on all "positional N" +% positions. All inductive P resp. N are positional P resp. N by +% minimality, and all inductive D are positional D by explicit +% strategy, and ditto for s/positional/historical/, so they all +% coincide. + % |