From f45656a556b0918c4c8c4c6077381e29273b62ab Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Thu, 25 Aug 2022 23:08:15 +0200
Subject: Some other issues

---
 sections/conj_classes.tex | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'sections/conj_classes.tex')

diff --git a/sections/conj_classes.tex b/sections/conj_classes.tex
index 4732e3c..446b70e 100644
--- a/sections/conj_classes.tex
+++ b/sections/conj_classes.tex
@@ -184,7 +184,6 @@
 	$(B_{i,j}, \beta_{i,j})$ to $(\Gamma'_n, g'_n)$. But this can be easily
 	done by the fact, that $\cD$ has the amalgamation property. 
 
-
 	It is important to note that $g'_n$ should be a finite function and once
 	again, as it is an automorphism of a finitely generated structure, we may
 	think it is simply a map from one generators of $\Gamma'_n$ to the 
@@ -240,9 +239,15 @@
 	and the above Theorem \ref{theorem:generic_aut_general}.
   \end{proof}
 
+  \begin{corollary}
+	Let $\cC$ be a Fraïssé class of finitely generated $L$-structures with WHP
+	and canonical amalgamation. Then $\Flim(\cC)$ has a generic automorphism.
+  \end{corollary}
+
   \subsection{Properties of the generic automorphism}
 
-  This key theorem yields some corollaries and we present one of them below.
+  The key Theorem \ref{theorem:key-theorem} yields some corollaries and we
+  present one of them below.
 
   Let $\cC$ be a Fraïssé class of finitely generated $L$-structures with
   weak Hrushovski property and canonical amalgamation. 
-- 
cgit v1.2.3

