diff options
Diffstat (limited to 'sections/conj_classes.tex')
| -rw-r--r-- | sections/conj_classes.tex | 9 |
1 files changed, 7 insertions, 2 deletions
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. |