summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-22 17:11:29 (GMT)
committerDavid A. Madore <david+git@madore.org>2016-03-22 17:11:29 (GMT)
commite8e5db2025c888744564e0d82960d4775cb1dd1f (patch)
treeb5a10986e629925d09e8056b6520ead6fa1f818f
parentc95c39d35b97bb69985eecde05a852b903cfce6d (diff)
downloadmitro206-e8e5db2025c888744564e0d82960d4775cb1dd1f.zip
mitro206-e8e5db2025c888744564e0d82960d4775cb1dd1f.tar.gz
mitro206-e8e5db2025c888744564e0d82960d4775cb1dd1f.tar.bz2
Add more to index.
-rw-r--r--notes-mitro206.tex4
1 files 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,