summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-02-26 00:48:29 +0100
committerDavid A. Madore <david+git@madore.org>2016-02-26 00:48:29 +0100
commit76b212871faedf936e8b6b0a865729ce71fcadbf (patch)
tree647a7c544a10a2d922c110afcfb04b61670cb24e
parent7a40ede5a678b7bce8bf7bf7338ae5accd985b25 (diff)
downloadmitro206-76b212871faedf936e8b6b0a865729ce71fcadbf.tar.gz
mitro206-76b212871faedf936e8b6b0a865729ce71fcadbf.tar.bz2
mitro206-76b212871faedf936e8b6b0a865729ce71fcadbf.zip
Another self-note.
-rw-r--r--notes-mitro206.tex7
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.
+
%