From ad63d0a98d8595d3267fd81196cf8c96361bd911 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Mon, 11 Jul 2022 20:13:42 +0200 Subject: Updates updates --- sections/introduction-pl.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sections/introduction-pl.tex') 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} -- cgit v1.2.3