diff options
author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-08-25 23:25:59 +0200 |
---|---|---|
committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-08-25 23:25:59 +0200 |
commit | 455aebf298adc6f601a215c7dafc78c79b889db5 (patch) | |
tree | 30ea6e1d284230585de77f3ea5c55cd01e2914db /sections/introduction-pl.tex | |
parent | f45656a556b0918c4c8c4c6077381e29273b62ab (diff) |
Added intr and footer
Diffstat (limited to 'sections/introduction-pl.tex')
-rw-r--r-- | sections/introduction-pl.tex | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/sections/introduction-pl.tex b/sections/introduction-pl.tex index a839164..852bc01 100644 --- a/sections/introduction-pl.tex +++ b/sections/introduction-pl.tex @@ -38,9 +38,12 @@ grami Banacha-Mazura, które są dobrze znanym narzędziem w deskryptywnej teorii mnogości. - Opisana konstrukcja generycznego automorfizmu okazuje się pomocna w dowodzeniu - niektórych własności tego automorfizmu (patrz \ref{corollary:fixed_points}). - W ostatnim rozdziale przytaczamy przykłady klas Fraïsségo ze słabą własnością - Hrushovskiego i kanoniczną amalgamacją oraz charakteryzujemy ich granice - oraz generyczny automorfizm. + W rozdziale \ref{section:preliminaries} wprowadzamy istotne pojęcia z deskryptywnej + teorii mnogości, teorii kategorii i udowadniamy twierdzenie Banacha-Mazura. + Rozdział \ref{section:fraisse_classes} poświęcony jest przedstawieniu klas + Fraïsségo oraz kanonicznej amalgamacji. W rozdziale \ref{section:conjugacy_classes} + udowadniamy kluczowe Twierdzenie \ref{theorem:key-theorem} przez wskazanie + konstrukcji generycznego automorfizmu granicy Fraïsségo klasy ze słabą + własnością Hrushovskiego oraz kanoniczną amalgamacją. W ostatnim rozdziale \ref{section:examples} + przytaczamy przykłady takich klas Fraïsségo. \end{document} |