mmisc

Signed-off-by: Alun Stokes <[email protected]>

.gitignore

@@ -61,7 +61,6 @@ latex.out/
 acs-*.bib
 
 # amsthm
-*.thm
 
 # beamer
 *.nav
@@ -154,9 +153,6 @@ acs-*.bib
 *.ltjruby
 
 # makeidx
-*.idx
-*.ilg
-*.ind
 
 # minitoc
 *.maf
@@ -284,3 +280,4 @@ TSWLatexianTemp*
 *.lpz
 
 .DS_Store
+*.chapter_14.tex.kate-swp

chapter_14.tex

@@ -53,7 +53,7 @@ \section{Connectedness: But \emph{Why} Aren't Things (Always) Connected?}
 \end{corollary}
 
 \begin{svgraybox}
-  For the interested and more informed reader than expected necessarily, it is noted that the property of \emph{minimality} (not \om) is \emph{not} preserved under elementary equivalence as \om is. This is one of the motivations for the idea of \emph{strong}-minimality, but for all intents and purposes here, we pretend there is no notion of a \emph{strong}-\om.
+  For the interested and more informed reader than expected necessarily, it is noted that the property of \emph{minimality} (not \om) is \emph{not} preserved under elementary equivalence as \omy is. This is one of the motivations for the idea of \emph{strong}-minimality, but for all intents and purposes here, we pretend there is no notion of a \emph{strong}-\omy.
 \end{svgraybox}
 
 This corollary will come to be quite important later, so if nothing else from here, keep that fact in the back of the mind as we go forward.
@@ -65,7 +65,7 @@ \section{Definable Choice \& Curve Selection}
 
 \begin{proposition}[Definable Choice]
   \begin{enumerate}
-    \item Given a \defnb family, $X \subset M^{n+m}$ with $\pi$ the projection map onto the first $n$ coordinates, then there is a \defnb map, $\funcdom{f}{\pi X}{M^n}$ with $\graph{f} \subseteq X$.
+    \item Given a \defnb family, $X \subseteq M^{n+m}$ with $\pi$ the projection map onto the first $n$ coordinates, then there is a \defnb map, $\funcdom{f}{\pi X}{M^n}$ with $\graph{f} \subseteq X$.
     \item Given $E$ a \defnb equivalence relation on a \defnb set, $X \subseteq M^n$, then $E$ has a set of representatives.
   \end{enumerate}