From f45656a556b0918c4c8c4c6077381e29273b62ab Mon Sep 17 00:00:00 2001 From: Franciszek Malinka 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