diff options
Diffstat (limited to 'sections/fraisse_classes.tex')
| -rw-r--r-- | sections/fraisse_classes.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sections/fraisse_classes.tex b/sections/fraisse_classes.tex index 5f3d833..74a8d61 100644 --- a/sections/fraisse_classes.tex +++ b/sections/fraisse_classes.tex @@ -289,7 +289,7 @@ \end{definition} Actually we did already implicitly worked with free amalgamation in the - proposition \ref{proposition:finite-graphs-fraisse-class}, showing that + Proposition \ref{proposition:finite-graphs-fraisse-class}, showing that the class of finite strcuture is indeed a Fraïssé class. @@ -369,7 +369,7 @@ \end{tikzcd} \end{center} - Then, by the fact \ref{fact:functor_iso}, $\otimes_C(\eta)$ is an automorphism + Then, by the Fact \ref{fact:functor_iso}, $\otimes_C(\eta)$ is an automorphism of the pushout diagram: \begin{center} @@ -475,7 +475,7 @@ \begin{proof} Let $\Gamma=\Flim(\cC)$ and $(\Pi, \sigma) =\Flim(\cD)$. By the Fraïssé - theorem \ref{theorem:fraisse_thm} it suffices to show that the age of $\Pi$ + Theorem \ref{theorem:fraisse_thm} it suffices to show that the age of $\Pi$ is $\cC$ and that it is weakly ultrahomogeneous. The former comes easily, as for every structure $A\in \cC$ we have the structure $(A, \id_A)\in \cD$, which means that the structure $A$ embeds into $\Pi$. |