diff options
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} |