Fix typos in Abstract Logics

Author: FnControlOption

content/model-theory/lindstrom/abstract-logics.tex

@@ -81,8 +81,8 @@
   and $!E \in L(\Lang{L})$ there is a $!F \in L(\Lang{L})$ such
   that
   \[
-  \Mod[L'](L){!F} = \Setabs{\Struct{M}}{\Expan{M}{a}} \in
-  \Mod[L](L){!E} \text{ for some } a \in \Domain{M} \},
+  \Mod[L'](L){!F} = \Setabs{\Struct{M}}{\Expan{M}{a} \in
+  \Mod[L](L){!E} \text{ for some } a \in \Domain{M}},
   \]
   where $\Lang{L'} = \Lang{L} \setminus \{c\}$ and $\Expan{M}{a}$
   is the expansion of $\Struct{M}$ to $\Lang{L}$ assigning $a$
@@ -93,7 +93,7 @@
   called the \emph{relativization} of $!E$ to $\Atom{R}{x, c_1, \dots c_n}$,
   such that for each !!{structure}~$\Struct{M}$:
   \[
-  \Expan{M}{X, b_1, \ldots, b_n} \models_L !F) \text{ if and
+  \Expan{M}{X, b_1, \ldots, b_n} \models_L !F \text{ if and
     only if } \Struct{N} \models_L !E,
   \]
   where $\Struct{N}$ is the substructure of $\Struct{M}$ with !!{domain}