From e8e5db2025c888744564e0d82960d4775cb1dd1f Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Tue, 22 Mar 2016 18:11:29 +0100 Subject: Add more to index. --- notes-mitro206.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/notes-mitro206.tex b/notes-mitro206.tex index 6e7d13f..bd89ae5 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -1957,10 +1957,10 @@ théorème \ref{gale-stewart-theorem} et ce qu'on vient de dire, et il assez technique à démontrer : \begin{thm}[D. A. Martin, 1975] -Si $A \subseteq X^{\mathbb{N}}$ est \emph{borélien}, c'est-à-dire +Si $A \subseteq X^{\mathbb{N}}$ est \defin{borélien}, c'est-à-dire appartient à la plus petite partie de $\mathscr{P}(X^{\mathbb{N}})$ stable par complémentaire et réunions dénombrables (également appelée -« tribu ») contenant les ouverts, alors le jeu $G_X(A)$ est déterminé. +\defin{tribu}) contenant les ouverts, alors le jeu $G_X(A)$ est déterminé. \end{thm} (Autrement dit, non seulement un ouvert et un fermé sont déterminés, -- cgit v1.2.3