From 76b212871faedf936e8b6b0a865729ce71fcadbf Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 26 Feb 2016 00:48:29 +0100
Subject: Another self-note.

---
 notes-mitro206.tex | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'notes-mitro206.tex')

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.
+
 
 
 %
-- 
cgit v1.2.3