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 --- lic_malinka.pdf | Bin 497322 -> 497805 bytes lic_malinka.tex | 9 ++++++--- lic_malinka_with_footer.pdf | Bin 0 -> 770475 bytes sections/introduction-pl.tex | 13 ++++++++----- sections/introduction.tex | 13 ++++++++----- stamp.sh | 16 ++++++++++++++++ 6 files changed, 38 insertions(+), 13 deletions(-) create mode 100644 lic_malinka_with_footer.pdf create mode 100755 stamp.sh diff --git a/lic_malinka.pdf b/lic_malinka.pdf index 89f1abc..62e71ec 100644 Binary files a/lic_malinka.pdf and b/lic_malinka.pdf differ diff --git a/lic_malinka.tex b/lic_malinka.tex index ed73de7..9fb4a64 100644 --- a/lic_malinka.tex +++ b/lic_malinka.tex @@ -149,27 +149,30 @@ \vfill \newpage - \begin{abstract} - Abstract - \end{abstract} \section{Introduction} + \label{section:introduction} \subfile{sections/introduction} \newpage \section*{Wstęp} + \label{section:wstep} \subfile{sections/introduction-pl} \newpage \section{Preliminaries} + \label{section:preliminaries} \subfile{sections/preliminaries} \section{Fraïssé classes} + \label{section:fraisse_classes} \subfile{sections/fraisse_classes} \section{Conjugacy classes in automorphism groups} + \label{section:conjugacy_classes} \subfile{sections/conj_classes} \section{Examples} + \label{section:examples} \subfile{sections/examples.tex} \printbibliography diff --git a/lic_malinka_with_footer.pdf b/lic_malinka_with_footer.pdf new file mode 100644 index 0000000..a84646a Binary files /dev/null and b/lic_malinka_with_footer.pdf differ 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} 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} diff --git a/stamp.sh b/stamp.sh new file mode 100755 index 0000000..67cc848 --- /dev/null +++ b/stamp.sh @@ -0,0 +1,16 @@ +#!/bin/sh + +input=$1 +watermark=$2 +output=$3 +abl=/tmp/all_but_first.pdf +first=/tmp/first.pdf +first_stamped=/tmp/first_stamped.pdf + +# detach +pdftk $1 cat 2-r1 output $abl +pdftk $1 cat 1 output $first +#Stamp +pdftk $first stamp $watermark output $first_stamped +#Attach +pdftk $first_stamped $abl cat output $output -- cgit v1.2.3