From 943f4c81351fa2975951991db92112d268e96328 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 31 Mar 2017 17:04:59 +0200
Subject: There is a transfinite induction hidden here.  Make it explicit.

---
 notes-mitro206.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'notes-mitro206.tex')

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index 78064ae..5de1ca7 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -5100,8 +5100,9 @@ Autrement dit, il s'agit du plus petit ordinal qui n'est ni de la
 forme $\beta_1\oplus\alpha_2$ pour $\beta_1 < \alpha_1$ ni de la forme
 $\alpha_1\oplus\beta_2$ pour $\beta_2 < \alpha_2$ ; cette définition a
 bien un sens d'après \ref{nim-sum-is-well-founded}.  Encore autrement
-(en utilisant \ref{grundy-of-nimbers-triviality}), il s'agit de la
-valeur de Grundy du jeu $(*\alpha_1) \oplus (*\alpha_2)$.
+(en utilisant \ref{grundy-of-nimbers-triviality} et une induction
+transfinie évidente), il s'agit de la valeur de Grundy du jeu
+$(*\alpha_1) \oplus (*\alpha_2)$.
 \end{defn}
 
 \thingy Pour comprendre cette définition, le mieux est de calculer
-- 
cgit v1.2.3

