Fix typos in Partial Isomorphisms

Author: FnControlOption

content/model-theory/basics/partial-iso.tex

@@ -152,7 +152,7 @@ \section{Partial Isomorphisms}
      $x_1$, \dots,~$x_n$, then $\Sat{M}{!A}[s_1]$ if and
      only if~$\Sat{N}{!A}[s_2]$.
    \item $I_{n+1} (\mathbf{a},\mathbf{b})$ if and only if for every
-     $a\in A$ there is a $b\in B$ such that $I_n
+     $a\in \Domain M$ there is a $b\in \Domain N$ such that $I_n
      (\mathbf{a}a,\mathbf{b}b)$, and vice-versa.
    \end{enumerate}
 \end{defn}
@@ -198,7 +198,7 @@ \section{Partial Isomorphisms}
 
   Given $a \in \Domain M$, let $!T^a_n$ be set of !!{formula}s
   $!B(x,\mathbf{y})$ of rank no greater than $n$ satisfied by
-  $\mathbf{a}a$ in $\Struct{M}$; $\tau^a_n$ is finite, so we can
+  $\mathbf{a}a$ in $\Struct{M}$; $!T^a_n$ is finite, so we can
   assume it is a single first-order !!{formula}. It follows that
   $\mathbf{a}$ satisfies $\lexists[x][!T^a_n(x,\mathbf{y})]$, which
   has quantifier rank no greater than $n+1$. By hypothesis