From 943f4c81351fa2975951991db92112d268e96328 Mon Sep 17 00:00:00 2001 From: "David A. Madore" 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(-) 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