From 455aebf298adc6f601a215c7dafc78c79b889db5 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Thu, 25 Aug 2022 23:25:59 +0200 Subject: Added intr and footer --- sections/introduction.tex | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) (limited to 'sections/introduction.tex') diff --git a/sections/introduction.tex b/sections/introduction.tex index 25b3358..caf4dc0 100644 --- a/sections/introduction.tex +++ b/sections/introduction.tex @@ -37,10 +37,13 @@ this by using the Banach-Mazur games, a well known method in the descriptive set theory, which proves useful in the study of comeagre sets. - Finally, we show how this construction of the generic automorphism can be - used to deduce some properties of generic automorphisms - (see \ref{corollary:fixed_points}). In the last section we give examples + In section \ref{section:preliminaries} we introduce important notions from + descriptive set theory and category theory and prove the Banach-Mazur theorem. + Section \ref{section:fraisse_classes} is devoted to Fraïssé classes + and describes canonical amalgamation. In section \ref{section:conjugacy_classes} + we prove the main Theorem \ref{theorem:key-theorem} by showing a construction + of generic automorphism of Fraïssé classes with WHP and canonical amalgamation. + Finally, in the section \ref{section:examples} we give examples and anti-examples of Fraïssé classes with weak Hrushovski property and - canonical amalgamation, characterize Fraïssé limits and generic automorphism - of these classes. + canonical amalgamation. \end{document} -- cgit v1.2.3