diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 20:24:41 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 20:24:41 +0200 |
| commit | fa334cef8c04e50a45b366a3427db18e638fc992 (patch) | |
| tree | 968c886701519e8f6f0d395f34edbac10884c15a /sections/fraisse_classes.tex | |
| parent | 30e20714fa82c6d0d6b1c06b81ebcefdb72e1004 (diff) | |
Capitalised words before \ref
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$. |