diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-11 20:13:42 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-11 20:13:42 +0200 |
| commit | ad63d0a98d8595d3267fd81196cf8c96361bd911 (patch) | |
| tree | fc71ed3a1b0ce0f26e28d774fd3f160ce54b1ee4 /sections/introduction-pl.tex | |
| parent | fa334cef8c04e50a45b366a3427db18e638fc992 (diff) | |
Updates updates
Diffstat (limited to 'sections/introduction-pl.tex')
| -rw-r--r-- | sections/introduction-pl.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sections/introduction-pl.tex b/sections/introduction-pl.tex index 02b6cbe..bd6e2f1 100644 --- a/sections/introduction-pl.tex +++ b/sections/introduction-pl.tex @@ -27,7 +27,7 @@ \ref{definition:generic_automorphism}, co zostało po raz pierwsze zdefiniowane i udowodnione przez Trussa w \cite{truss_gen_aut}. - Kluczowe twierdzenie \ref{theorem:generic_aut_general} mówi, że klasa + Kluczowe twierdzenie \ref{theorem:key-theorem} mówi, że klasa Fraïsségo z kanoniczną amalgamacją i słabą własnością Hrushovskiego ma generyczny automorfizm. Istnienie takiego automorfizmu w tym przypadku wynika z wcześniejszych klasycznych wyników Ivanova \cite{ivanov_1999} |